[Haskell-cafe] In what language...?

[Thomas DuBuisson]

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
<andrewcoppin at 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 at haskell.org
> http://www.haskell.org/mailman/listinfo/haskell-cafe
>