I think you would enjoy reading (and working) through TAPL[1] and/or
Software Foundations[2] if this interests you.
Cheers,
Thomas
[1] http://www.amazon.com/Types-Programming-Languages-Benjamin-Pierce/dp/0262162...
[2] http://www.cis.upenn.edu/~bcpierce/sf/
On Fri, Oct 15, 2010 at 1:36 PM, Andrew Coppin
Yesterday I read a rather interesting paper:
http://www.cl.cam.ac.uk/~mb566/papers/tacc-hs09.pdf
It's fascinating stuff, and I *think* I understand the gist of what it's saying. However, the paper is utterly festooned with formulas that look so absurdly over-the-top that they might almost be a spoof of a mathematical formula rather than the real thing. A tiny fraction of the notation is explained in the , but the rest is simply "taken to be obvious". The paper also uses several ordinary English words in a way that suggests that they are supposed to have a more specific technical meaning - but I have no idea what.
Does anybody have any idea which particular dialect of pure math this paper is speaking? (And where I can go read about it...)
_______________________________________________ Haskell-Cafe mailing list Haskell-Cafe@haskell.org http://www.haskell.org/mailman/listinfo/haskell-cafe