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/0262162091 [2] http://www.cis.upenn.edu/~bcpierce/sf/ On Fri, Oct 15, 2010 at 1:36 PM, Andrew Coppin <andrewcop...@btinternet.com> wrote: > 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 > _______________________________________________ Haskell-Cafe mailing list Haskell-Cafe@haskell.org http://www.haskell.org/mailman/listinfo/haskell-cafe
