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