|
9
|
Flexible types: robust type inference for first-class polymorphism
– Daan Leijen
- 2009
|
|
|
PRACTICAL TYPE INFERENCE FOR FIRST-CLASS POLYMORPHISM
– Dimitrios Vytiniotis
- 2008
|
|
78
|
Practical type inference for arbitrary-rank types
– Dimitrios Vytiniotis, Stephanie Weirich, Simon Peyton-jones
- 2005
|
|
|
This paper is posted at ScholarlyCommons. http://repository.upenn.edu/cis papers/275Boxy Types: Inference for Higher-Rank Types and
– Dimitrios Vytiniotis, Stephanie C. Weirich, Simon Peyton Jones, Dimitrios Vytiniotis, Stephanie Weirich, Simon Peyton Jones
|
|
|
FPH: First-class Polymorphism for Haskell Declarative, constraint-free type inference for impredicative polymorphism
– Dimitrios Vytiniotis, Stephanie Weirich, Simon Peyton Jones
|
|
|
FPH: First-class polymorphism for Haskell -- Extended Version
– Dimitrios Vytiniotis
- 2008
|
|
2
|
Concoqtion: Mixing dependent types and Hindley-Milner type inference (extended version
– Jeremy Siek, Walid Taha
- 2006
|
|
|
Practical type inference for
– Simon Peyton, Jones Dimitrios Vytiniotis, Stephanie C. Weirich, Mark Shields, Simon Peyton Jones, Stephanie Weirich, Mark Shields
|
|
1
|
QML: Explicit First-Class Polymorphism for ML
– Claudio V. Russo, Dimitrios Vytiniotis
|
|
3
|
Recasting ML^F
– Didier Le Botlan, Didier Rémy
- 2007
|
|
4
|
Extensible records with scoped labels
– Daan Leijen
- 2005
|
|
10
|
Programming With Types
– Stephanie Claudene Weirich
- 2002
|
|
10
|
Partial Type Assignment in Left Linear Applicative Term Rewriting Systems -- Theory, Applications and Implementation
– Steffen van Bakel, Sjaak Smetsers, Simon Brock
- 1992
|
|
|
A Church-Style Intermediate Language for MLF
– Didier Rémy A, Boris Yakobowski B
|
|
29
|
A General Framework for Hindley/Milner Type Systems with Constraints
– Martin Sulzmann
- 2000
|
|
|
Type Systems for Programming Languages
– Steffen van Bakel
- 2001
|
|
3
|
A rewriting semantics for type inference
– George Kuan, David Macqueen, Robert Bruce Findler
- 2007
|
|
|
Draft version
– Didier Rémy, Boris Yakobowski, Thème Sym, Didier Rémy, Boris Yakobowski, Projet Gallium
- 2008
|
|
14
|
A graphical presentation of MLF types with a linear-time unification algorithm
– Thème Sym, Didier Rémy, Didier Rémy, Boris Yakobowski, Boris Yakobowski, Projet Gallium
- 2007
|
