|
1497
|
The Definition of Standard ML
– R Milner, M Tofte, R Harper
- 1990
|
|
873
|
A theory of type polymorphism in programming
– Robin Milner
- 1978
|
|
727
|
On understanding types, data abstraction, and polymorphism
– Luca Cardelli, Peter Wegner
- 1985
|
|
135
|
Miranda—a non-strict functional language with polymorphic types
– David A Turner
- 1996
|
|
86
|
Polymorphic Type Schemes and Recursive Definitions
– Alan Mycroft
- 1984
|
|
90
|
A simple applicative language: Mini-ml
– Dominique Clément, Joëlle Despeyroux, Thierry Despeyroux, Gilles Kahn
- 1986
|
|
221
|
Principal type schemes for functional programs
– L Damas, H Milner
- 1982
|
|
92
|
Type Assignment in Programming Languages
– L Damas
- 1984
|
|
266
|
Abstract types have existential type
– John C Mitchell, Gordon D Plotkin
- 1988
|
|
337
|
Towards a theory of types structure
– John C Reynolds
- 1974
|
|
216
|
Report on the programming language Haskell: A non-strict, purely functional language
– Paul Hudak, Philip Wadler, Arvind Brian, Boutel Jon Fairbairn, Joseph Fasel, Kevin Hammond, John Hughes, Thomas Johnsson, Dick Kieburtz, Rishiyur Nikhil, Simon Peyton Jones, Mike Reeve, David Wise, Jonathan Young
- 1992
|
|
121
|
An ideal model for recursive polymorphic types
– David B MacQueen, Gordon D Plotkin, Ravi Sethi
- 1986
|
|
17
|
manual
– Poly D C J Matthews
- 1985
|
|
315
|
How to Make Ad-Hoc Polymorphism Less Ad Hoc
– Philip Wadler, Stephen Blott
- 1988
|
|
317
|
An Efficient Unification Algorithm
– Alberto Martelli, Ugo Montanari
- 1982
|
|
211
|
Unification revisited
– Jean-Louis Lassez, Michael J Maher, Kim G Marriot
- 1988
|
|
129
|
The principal type-scheme of an object in combinatory logic
– R Hindley
- 1969
|
|
472
|
A semantics of multiple inheritance
– Luca Cardelli
- 1988
|
|
195
|
Une extension de l'interpr'etation de Godel `a l'analyse, et son application `a l"elimination des coupures dans l'analyse et la th'eorie des types
– J-Y Girard
- 1971
|
