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
_______________________________________________
Haskell-Cafe mailing list
[email protected]
http://www.haskell.org/mailman/listinfo/haskell-cafe
