[Haskell-cafe] What is the rank of a polymorphic type?

[David Menendez]

On Sun, Dec 6, 2009 at 8:39 AM, Dan Doel <dan.doel at 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 at zednenem.com>
<http://www.eyrie.org/~zednenem/>