Standard ML-NJ weak polymorphism and imperative constructs

Standard ML-NJ weak polymorphism and imperative constructs (1996)

by John Mitchell , Ramesh Viswanathan

Venue:	IN PROCEEDINGS, EIGHTH ANNUAL IEEE SYMPOSIUM ON LOGIC IN COMPUTER SCIENCE
Citations:	11 - 0 self

56	A Simplified Account of Polymorphic References – Robert Harper - 1994
490	A Syntactic Approach to Type Soundness – Andrew K. Wright, Matthias Felleisen - 1992
10	Practical Soft Typing – Andrew K. Wright - 1994
89	Simple Imperative Polymorphism – Andrew Wright - 1995
103	A Practical Soft Type System for Scheme – Andrew K. Wright, Robert Cartwright - 1993
26	Typing References by Effect Inference – Andrew Wright - 1992
135	The Type and Effect Discipline – Jean-Pierre Talpin, Pierre Jouvelot - 1992
28	Polymorphism for Imperative Languages without Imperative Types – Andrew Wright - 1993
89	A Critique of Standard ML – Andrew W. Appel - 1992
	Standard ML Weak Polymorphism Can Be Sound – John Greiner May, John Greiner - 1993
9	Standard ML Weak Polymorphism Can Be Sound – John Greiner - 1993
29	Polymorphism by name for references and continuations – Xavier Leroy - 1993
5	Polymorphic typing of variables and references – Geoffrey Smith, Dennis Volpano - 1996
2	A Typed Approach to Layered Programming Language Design – Shail Aditya Gupta, Shail Aditya Gupta - 1994
45	A Variable Typed Logic of Effects – Furio Honsell, Ian A. Mason, Scott Smith, Carolyn Talcott - 1993
5	Weak Polymorphism Can Be Sound – John Greiner - 1996
129	Type Inference with Polymorphic Recursion – Fritz Henglein - 1991
192	Standard ML of New Jersey – Andrew W. Appel, David B. Macqueen - 1991
65	Explicit Polymorphism and CPS Conversion – Robert Harper , Mark Lillibridge - 1992