Andrew Coppin <andrewcop...@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 <g...@gregorycollins.net> _______________________________________________ Haskell-Cafe mailing list Haskell-Cafe@haskell.org http://www.haskell.org/mailman/listinfo/haskell-cafe
