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

Documents Related by Co-Citation

110 Type inference for polymorphic references – M Tofte - 1990
538 A Syntactic Approach to Type Soundness – Andrew K. Wright, Matthias Felleisen - 1992
49 Polymorphic Type Inference and Assignment – Xavier Leroy, Pierre Weis, Inria Rocquencourt - 1991
1565 The Definition of Standard ML – Robin Milner, Mads Tofte - 1990
152 The Type and Effect Discipline – Jean-Pierre Talpin, Pierre Jouvelot - 1992
9 Standard ML Weak Polymorphism Can Be Sound – John Greiner - 1993
31 Polymorphism by name for references and continuations – Xavier Leroy - 1993
26 Typing References by Effect Inference – Andrew Wright - 1992
94 Type assignment in programming languages – L Damas - 1985
92 Simple Imperative Polymorphism – Andrew Wright - 1995
357 Principal type-schemes for functional programs. Pages 207–212 of – Luis Damas, Robin Milner - 1982
22 Typage polymorphe d'un langage algorithmique. Doctoral dissertation (in – X Leroy - 1992
69 Explicit Polymorphism and CPS Conversion – Robert Harper , Mark Lillibridge - 1992
939 A theory of type polymorphism in programming – Robin Milner - 1978
141 The principal type-scheme of an object in combinatory logic – R Hindley - 1969
234 Principal type schemes for functional programs – R Milner - 1982
126 Higher-order Concurrency – John Hamilton Reppy - 1992
93 Typing First-Class Continuations in ML – Robert Harper, Bruce F. Duba, David Macqueen - 1992
29 Polymorphism for Imperative Languages without Imperative Types – Andrew Wright - 1993