|
33
|
Dynamic Typing as Staged Type Inference
– Mark Shields, Tim Sheard, Simon Peyton Jones
- 1998
|
|
252
|
Compiling polymorphism using intensional type analysis
– Robert Harper, Greg Morrisett
- 1995
|
|
92
|
Dynamic Typing in Polymorphic Languages
– Martín Abadi, Luca Cardelli, Benjamin Pierce, Didier Rémy
- 1995
|
|
288
|
Subtyping recursive types
– Roberto M. Amadio, Cnrs-crin Nancy, Luca Cardelli
- 1993
|
|
175
|
Soft Typing
– Robert Cartwright, Mike Fagan
- 1991
|
|
48
|
Quasi-static typing
– Satish Thatte
- 1990
|
|
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
|
|
132
|
Intensional Polymorphism in Type-Erasure Semantics
– Karl Crary, Stephanie Weirich, Greg Morrisett
- 2002
|
|
53
|
Dynamics in ML
– Xavier Leroy, Michel Mauny, Inria Rocquencourt
- 1993
|
|
874
|
A theory of type polymorphism in programming
– Robin Milner
- 1978
|
|
44
|
Dynamic typing: syntax and proof theory
– F Henglein
- 1994
|
|
208
|
Manifest Types, Modules, and Separate Compilation
– Xavier Leroy
- 1994
|
|
163
|
Unboxed Objects and Polymorphic Typing
– Xavier Leroy
- 1992
|
|
122
|
An ideal model for recursive polymorphic types
– D B MacQueen, G D Plotkin, R Sethi
- 1986
|
|
130
|
The principal type-scheme of an object in combinatory logic
– J R Hindley
- 1969
|
|
181
|
Secure information flow in a multi-threaded imperative language
– Geoffrey Smith, Dennis Volpano
- 1998
|
|
9
|
A Practical Approach to Type Inference for EuLisp
– Andreas Kind, Horst Friedrich
- 1993
|
|
49
|
Effective Flow Analysis for Avoiding Run-Time Checks
– Suresh Jagannathan, Andrew Wright
- 1995
|
