[Haskell-cafe] Re: MPTCs and rigid variables

[Claus Reinke]

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:

http://www.haskell.org/haskellwiki/Research_papers/Type_systems

hth
claus

hth: hope this helps