[Haskell-cafe] Re: MPTCs and rigid variables

Claus Reinke claus.reinke at talk21.com
Wed Mar 7 11:05:29 EST 2007

hi mm (?-),

> F, FD, FC, AT, SPJ ;) WTH does it mean?

sorry about this acronymitis :) there was a lengthy debate about some of these
things in the context of haskell' a year or so ago, and i just fell back into the mood,
forgetting to explain my acronyms before using them again

    F: System F, polymorphic lambda-calculi due to Girard
    FC: System F, extended with equality coercions, 
    FD: functional dependencies, as in Hugs/GHC
    CHR: constraint-handling rules, used for operational semantics of MPTC with FD
    AT: associated types, as in GHC
    SPJ: advanced haskell processor, theory and practice
    MPTC: multi-parameter type (constructor) classes, as in Hugs/GHC/?

    ACRONYM: abbreviations can relatively often nix your message

for relevant publications see Mark Jones on FD,MPTC origins, Simon Peyton 
Jones, Martin Sulzmann, Manuel Chakravarty on more recent work on FC,AT,
FD,CHR. also check the bibliography section at haskell.org, in particular the
part on type systems:



hth: hope this helps

More information about the Haskell-Cafe mailing list