User loginNavigation |
archivesHMF: Simple type inference for first-class polymorphismHMF: Simple type inference for first-class polymorphism - Daan Leijen, Draft April 8, 2008.
An excellent paper even in its current draft form. I also placed this under the learning category, because Daan's writing style is lucid enough that the concepts can be understood by relative newcomers to the field of type theory By cdiggins at 2008-04-20 16:23 | Teaching & Learning | Type Theory | 2 comments | other blogs | 9498 reads
FPH: First-class Polymorphism for HaskellFPH: First-class Polymorphism for Haskell, by Dimitrios Vytiniotis, Stephanie Weirich and Simon Peyton Jones:
Under Related Work, the authors provide a detailed comparison of their system with MLF, and HMF. Flexible types: Robust type inference for first-class polymorphismFlexible types: Robust type inference for first-class polymorphism, by Dan Leijen: Seems there's been a flurry of activity on first-class polymorphism recently, with HML, FPH, and HMF as simpler alternatives to full MLF. |
Browse archivesActive forum topics |
Recent comments
16 weeks 2 days ago
16 weeks 2 days ago
16 weeks 2 days ago
38 weeks 4 days ago
42 weeks 6 days ago
44 weeks 3 days ago
44 weeks 3 days ago
47 weeks 1 day ago
51 weeks 5 days ago
51 weeks 5 days ago