|
873
|
A theory of type polymorphism in programming
– Robin Milner
- 1978
|
|
53
|
Colored Local Type Inference
– Martin Odersky, Matthias Zenger, Matthias Zenger
- 2001
|
|
272
|
Dependent Types in Practical Programming
– Hongwei Xi, Dana Scott
- 1998
|
|
488
|
A Syntactic Approach to Type Soundness
– Andrew K. Wright, Matthias Felleisen
- 1992
|
|
151
|
Refinement types for ML
– Tim Freeman
- 1994
|
|
573
|
The Definition of Standard ML (Revised
– Robin Milner, Mads Tofte, Robert Harper, David MacQueen
- 1997
|
|
69
|
A Statically Safe Alternative to Virtual Types
– Kim B. Bruce, Martin Odersky, Philip Wadler
- 1998
|
|
93
|
Virtual classes: A powerful mechanism in object-oriented programming
– Ole Lehrmann Madsen, Birger Møller-pedersen
- 1989
|
|
315
|
How to Make Ad-Hoc Polymorphism Less Ad Hoc
– Philip Wadler, Stephen Blott
- 1988
|
|
49
|
Type Checking Higher-Order Polymorphic Multi-Methods
– Francois Bourdoncle , Stephan Merz
- 1997
|
|
297
|
Pizza into Java: Translating theory into practice
– Martin Odersky, Philip Wadler
- 1997
|
|
56
|
An Effective Theory of Type Refinements
– Yitzhak Mandelbaum, David Walker, Robert Harper
- 2002
|
|
829
|
A Machine–oriented Logic Based on the Resolution Principle
– J A Robinson
- 1965
|
|
238
|
Pict: A programming language based on the pi-calculus
– Benjamin C. Pierce, David N. Turner
- 1997
|
|
135
|
PolyTOIL: A type-safe polymorphic object-oriented language
– Kim B. Bruce, Adrian Fiech, Angela Schuett, Robert Van Gent
- 1995
|
|
182
|
Soft typing with conditional types
– Er Aiken
- 1994
|
|
104
|
Design of the Programming Language Forsythe
– John C. Reynolds
- 1996
|
|
578
|
Types and Programming Languages
– Benjamin C Pierce
- 2002
|
|
251
|
A Type-Theoretic Approach to Higher-Order Modules with Sharing
– Robert Harper, Mark Lillibridge
- 1994
|
