|
10
|
Practical Soft Typing
– Andrew K. Wright
- 1994
|
|
26
|
Typing References by Effect Inference
– Andrew Wright
- 1992
|
|
21
|
Polymorphic Type Inference and Semi-Unification
– Fritz Henglein
- 1989
|
|
89
|
Simple Imperative Polymorphism
– Andrew Wright
- 1995
|
|
103
|
A Practical Soft Type System for Scheme
– Andrew K. Wright, Robert Cartwright
- 1993
|
|
28
|
Polymorphism for Imperative Languages without Imperative Types
– Andrew Wright
- 1993
|
|
98
|
On The Type Structure of Standard ML
– Robert Harper, John C. Mitchell
- 1993
|
|
30
|
Extensible Denotational Language Specifications
– Robert Cartwright, Matthias Felleisen
- 1994
|
|
116
|
On the Expressive Power of Programming Languages
– Matthias Felleisen
- 1990
|
|
9
|
Type Inference Verified: Algorithm W in Isabelle/HOL
– Wolfgang Naraschewski, Tobias Nipkow
- 1997
|
|
129
|
Type Inference with Polymorphic Recursion
– Fritz Henglein
- 1991
|
|
|
Type Theory for Programming Languages
– Robert Harper
- 1994
|
|
64
|
Programming with Intersection Types and Bounded Polymorphism
– Benjamin C. Pierce
- 1991
|
|
148
|
Dynamic Typing in a Statically Typed Language
– MartÃn Abadi, Luca Cardelli, Benjamin Pierce, Gordon Plotkin
- 1989
|
|
3
|
Calculi for Functional Programming Languages with Assignment
– Daniel Eli Rabin, Daniel Eli Rabin
- 1996
|
|
11
|
Standard ML-NJ weak polymorphism and imperative constructs
– John Mitchell, Ramesh Viswanathan
- 1996
|
|
4
|
Implicit Polymorphic Type System for the Blue Calculus
– Silvano Dal-Zilio, Silvano Dal-zilio, Projet Meije
- 1997
|
|
5
|
Weak Polymorphism Can Be Sound
– John Greiner
- 1996
|
|
33
|
Polymorphic type assignment and CPS conversion
– Robert Harper, Mark Lillibridge
- 1993
|
