Simple Imperative Polymorphism (1995)

by Andrew Wright
Venue:LISP and Symbolic Computation
Citations:92 - 3 self

Active Bibliography

108 A Practical Soft Type System for Scheme – Andrew K. Wright, Robert Cartwright - 1993
10 Practical Soft Typing – Andrew K. Wright - 1994
29 Polymorphism for Imperative Languages without Imperative Types – Andrew Wright - 1993
31 Polymorphism by name for references and continuations – Xavier Leroy - 1993
538 A Syntactic Approach to Type Soundness – Andrew K. Wright, Matthias Felleisen - 1992
5 Polymorphic typing of variables and references – Geoffrey Smith, Dennis Volpano - 1996
57 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
152 The Type and Effect Discipline – Jean-Pierre Talpin, Pierre Jouvelot - 1992
61 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
35 Polymorphic type assignment and CPS conversion – Robert Harper, Mark Lillibridge - 1993
19 A sound polymorphic type system for a dialect of C – Geoffrey Smith, Dennis Volpano - 1998
12 Relaxing the value restriction – Jacques Garrigue - 2004
38 Polymorphism and Type Inference in Database Programming – Peter Buneman, Atsushi Ohori
69 Explicit Polymorphism and CPS Conversion – Robert Harper , Mark Lillibridge - 1992
92 The Marriage of Effects and Monads – Philip Wadler, Peter Thiemann - 1998