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

Gregory Collins greg at gregorycollins.net
Fri Oct 15 16:42:00 EDT 2010

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:

Gregory Collins <greg at gregorycollins.net>

More information about the Haskell-Cafe mailing list