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:12 - 0 self

Documents Related by Co-Citation

576 A Syntactic Approach to Type Soundness – Andrew K. Wright, Matthias Felleisen - 1992
116 Type inference for polymorphic references – M Tofte - 1990
1626 The Definition of Standard ML – Robin Milner, Mads Tofte - 1990
50 Polymorphic Type Inference and Assignment – Xavier Leroy, Pierre Weis, Inria Rocquencourt - 1991
159 The Type and Effect Discipline – Jean-Pierre Talpin, Pierre Jouvelot - 1992
99 Type assignment in Programming Languages – L M M Damas - 1985
98 Simple Imperative Polymorphism – Andrew Wright - 1995
985 A theory of type polymorphism in programming – Robin Milner - 1978
9 Standard ML Weak Polymorphism Can Be Sound – John Greiner - 1993