7 Dec
2009
7 Dec
'09
5:43 a.m.
On Sun, Dec 6, 2009 at 8:39 AM, Dan Doel <dan.doel@gmail.com> wrote:
Apologies for the double-reply...
Your mail prompted me to finally get around to adding a mono/polytype system to an interpreter I've been working on for pure type systems, to see what a GHC-alike type system would look like. Here's what I came up with.
Have you read "Henk: a typed intermediate language" by Simon Peyton Jones and Erik Meijer? In section 4, they describe a PTS very similar to yours. <http://research.microsoft.com/en-us/um/people/emeijer/Papers/Henk.pdf> -- Dave Menendez <dave@zednenem.com> <http://www.eyrie.org/~zednenem/>