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

[Gregory Collins]

Andrew Coppin <andrewcoppin at btinternet.com> 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 <greg at gregorycollins.net>