|
10
|
Practical Soft Typing
– Andrew K. Wright
- 1994
|
|
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
|
|
29
|
Polymorphism by name for references and continuations
– Xavier Leroy
- 1993
|
|
488
|
A Syntactic Approach to Type Soundness
– Andrew K. Wright, Matthias Felleisen
- 1992
|
|
5
|
Polymorphic typing of variables and references
– Geoffrey Smith, Dennis Volpano
- 1996
|
|
56
|
A Simplified Account of Polymorphic References
– Robert Harper
- 1994
|
|
26
|
Typing References by Effect Inference
– Andrew Wright
- 1992
|
|
8
|
Polymorphism by Name for . . .
– Xavier Leroy
- 1993
|
|
11
|
Standard ML-NJ weak polymorphism and imperative constructs
– John Mitchell, Ramesh Viswanathan
- 1996
|
|
135
|
The Type and Effect Discipline
– Jean-Pierre Talpin, Pierre Jouvelot
- 1992
|
|
54
|
A Generalization of Exceptions and Control in ML-like Languages
– Carl A. Gunter, Didier Rémy, Jon G. Riecke
- 1995
|
|
2
|
A Typed Approach to Layered Programming Language Design
– Shail Aditya Gupta, Shail Aditya Gupta
- 1994
|
|
33
|
Polymorphic type assignment and CPS conversion
– Robert Harper, Mark Lillibridge
- 1993
|
|
18
|
A sound polymorphic type system for a dialect of C
– Geoffrey Smith, Dennis Volpano
- 1998
|
|
9
|
Relaxing the value restriction
– Jacques Garrigue
- 2004
|
|
37
|
Polymorphism and Type Inference in Database Programming
– Peter Buneman, Atsushi Ohori
|
|
65
|
Explicit Polymorphism and CPS Conversion
– Robert Harper , Mark Lillibridge
- 1992
|
|
76
|
The Marriage of Effects and Monads
– Philip Wadler, Peter Thiemann
- 1998
|
