|
148
|
Dynamic Typing in a Statically Typed Language
– Martín Abadi, Luca Cardelli, Benjamin Pierce, Gordon Plotkin
- 1989
|
|
53
|
Dynamics in ML
– Xavier Leroy, Michel Mauny, Inria Rocquencourt
- 1993
|
|
252
|
Compiling polymorphism using intensional type analysis
– Robert Harper, Greg Morrisett
- 1995
|
|
132
|
Intensional Polymorphism in Type-Erasure Semantics
– Karl Crary, Stephanie Weirich, Greg Morrisett
- 2002
|
|
33
|
Dynamic Typing as Staged Type Inference
– Mark Shields, Tim Sheard, Simon Peyton Jones
- 1998
|
|
78
|
Dynamic typing in a statically-typed language
– Martín Abadi, Luca Cardelli, Benjamin Pierce, Gordon Plotkin
- 1989
|
|
874
|
A theory of type polymorphism in programming
– Robin Milner
- 1978
|
|
1497
|
The Definition of Standard ML
– Robin Milner, Mads Tofte, Robert Harper
- 1990
|
|
251
|
A Type-Theoretic Approach to Higher-Order Modules with Sharing
– Robert Harper, Mark Lillibridge
- 1994
|
|
208
|
Manifest Types, Modules, and Separate Compilation
– Xavier Leroy
- 1994
|
|
165
|
A Modal Analysis of Staged Computation
– Rowan Davies, Frank Pfenning
- 1996
|
|
163
|
Unboxed Objects and Polymorphic Typing
– Xavier Leroy
- 1992
|
|
474
|
Lambda Calculi with Types
– Henk Barendregt, S. Abramsky, D. M. Gabbay, T. S. E. Maibaum, H. P. Barendregt
- 1992
|
|
32
|
Type Dispatch for Named Hierarchical Types
– Neal Glew
- 1999
|
|
36
|
Extensional polymorphism
– Catherine Dubois, cois Rouaix Fran, Pierre Weis
- 1995
|
|
253
|
Interpretation fonctionelle et elimination des coupures de l’arithmetique d’ordre superieur. These d’Etat
– J Girard
- 1972
|
|
161
|
PolyP - a polytypic programming language extension
– Patrik Jansson, Johan Jeuring
- 1997
|
|
292
|
Theorems for free!
– Philip Wadler
- 1989
|
|
20
|
Type-safe cast
– Stephanie Weirich
- 2000
|
