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

Andrew Coppin writes:

Does anybody have any idea which particular dialect of pure math this paper is speaking? (And where I can go read about it...)

It's pretty garden-variety programming language/type theory. I can recommend Benjamin Pierce's "Types and Programming Languages" textbook for an introduction to the material: http://www.cis.upenn.edu/~bcpierce/tapl/ G -- Gregory Collins