User loginNavigation |
HMF: 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 |
Browse archives
Active forum topics |
Recent comments
1 week 5 days ago
5 weeks 6 days ago
6 weeks 3 days ago
6 weeks 3 days ago
8 weeks 3 days ago
8 weeks 3 days ago
8 weeks 6 days ago
8 weeks 6 days ago
9 weeks 6 days ago
10 weeks 5 days ago