Playing With Pointers

An anti-drug article [1] was written and published by some IIT Kharagpur students in one of our campus newspapers. I think the article is rubbish and here's why. I think the article should, in principle, offend any self-respecting individual due to its tone and any rational person due to the "facts" it presents. From this [...]

I studied a proof today that I had been putting off for some time now; that a simply typed lambda calculus is normalizing -- every well-typed expression eventually reduces to a value. The proof is quite clever and that the exact wording of the proof in Types and Programming Languages is a bit terse so [...]