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

Cached

Download Links

by John Mitchell , Ramesh Viswanathan
Venue:IN PROCEEDINGS, EIGHTH ANNUAL IEEE SYMPOSIUM ON LOGIC IN COMPUTER SCIENCE
Citations:11 - 0 self

Active Bibliography

57 A Simplified Account of Polymorphic References – Robert Harper - 1994
538 A Syntactic Approach to Type Soundness – Andrew K. Wright, Matthias Felleisen - 1992
10 Practical Soft Typing – Andrew K. Wright - 1994
92 Simple Imperative Polymorphism – Andrew Wright - 1995
108 A Practical Soft Type System for Scheme – Andrew K. Wright, Robert Cartwright - 1993
26 Typing References by Effect Inference – Andrew Wright - 1992
152 The Type and Effect Discipline – Jean-Pierre Talpin, Pierre Jouvelot - 1992
29 Polymorphism for Imperative Languages without Imperative Types – Andrew Wright - 1993
93 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
5 Polymorphic typing of variables and references – Geoffrey Smith, Dennis Volpano - 1996
31 Polymorphism by name for references and continuations – Xavier Leroy - 1993
2 A Typed Approach to Layered Programming Language Design – Shail Aditya Gupta, Shail Aditya Gupta - 1994
48 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
135 Type Inference with Polymorphic Recursion – Fritz Henglein - 1991
195 Standard ML of New Jersey – Andrew W. Appel, David B. Macqueen - 1991
69 Explicit Polymorphism and CPS Conversion – Robert Harper , Mark Lillibridge - 1992