|
10
|
Practical Soft Typing
– Andrew K. Wright
- 1994
|
|
103
|
A Practical Soft Type System for Scheme
– Andrew K. Wright, Robert Cartwright
- 1993
|
|
97
|
Compiling with Types
– Greg Morrisett
- 1995
|
|
|
available at IET Digital Library. Including both Static and Dynamic Typing in the same Programming Language
– Francisco Ortin, Daniel Zapico, J. Baltasar, G. Perez-schofield, Miguel Garcia
- 2009
|
|
40
|
Semantics of memory management for polymorphic languages
– Greg Morrisett, Robert Harper
- 1997
|
|
21
|
Polymorphic Type Inference and Semi-Unification
– Fritz Henglein
- 1989
|
|
4
|
Higher-Order Intensional Type Analysis in Type-Erasure Semantics
– Stephanie Weirich
- 2003
|
|
18
|
Compiler-directed Type Reconstruction for Polymorphic Languages
– Shail Aditya
- 1993
|
|
10
|
Programming With Types
– Stephanie Claudene Weirich
- 2002
|
|
6
|
A Design for Type-Directed Programming in Java
– Stephanie Weirich, Liang Huang
- 2004
|
|
188
|
Type systems
– Luca Cardelli, Jim Donahue, Mick Jordan, Bill Kalsow, Greg Nelson
- 1997
|
|
252
|
Compiling polymorphism using intensional type analysis
– Robert Harper, Greg Morrisett
- 1995
|
|
219
|
TIL: A Type-Directed Optimizing Compiler for ML
– David Tarditi , Greg Morrisett, Perry Cheng, Chris Stone, Robert Harper, Peter Lee
- 1995
|
|
89
|
A Critique of Standard ML
– Andrew W. Appel
- 1992
|
|
192
|
Standard ML of New Jersey
– Andrew W. Appel, David B. Macqueen
- 1991
|
|
163
|
Unboxed Objects and Polymorphic Typing
– Xavier Leroy
- 1992
|
|
35
|
Semantics for communication primitives in a polymorphic language
– Atsushi Ohori, Kazuhiko Kato
- 1993
|
|
9
|
Abstract Machines for Dynamic Computation
– Christopher David Walton
- 2001
|
|
37
|
Polymorphism and Type Inference in Database Programming
– Peter Buneman, Atsushi Ohori
|
