Simple Imperative Polymorphism (1995)

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

Documents Related by Co-Citation

538 A Syntactic Approach to Type Soundness – Andrew K. Wright, Matthias Felleisen - 1992
939 A theory of type polymorphism in programming – Robin Milner - 1978
1565 The Definition of Standard ML – Robin Milner, Mads Tofte - 1990
110 Type inference for polymorphic references – M Tofte - 1990
108 A Practical Soft Type System for Scheme – Andrew K. Wright, Robert Cartwright - 1993
187 Soft typing with conditional types – Er Aiken - 1994
298 Control-Flow Analysis of Higher-Order Languages – Olin Shivers - 1991
107 Sound Polymorphic Type Inference for Objects – Jonathan Eifrig, Scott Smith, Valery Trifonov - 1995
214 Type Inclusion Constraints and Type Inference – Alexander Aiken, Edward L. Wimmers - 1993
283 Region-Based Memory Management – Mads Tofte, Jean-Pierre Talpin - 1997
172 Refinement types for ML – Tim Freeman - 1994
605 The Definition of Standard ML (Revised – Robin Milner, Mads Tofte, Robert Harper, David Macqueen - 1997
269 The Essence of Compiling with Continuations – Cormac Flanagan, Amr Sabry, Bruce F. Duba, Matthias Felleisen - 1993
111 Design of the Programming Language Forsythe – John C. Reynolds - 1996
290 Dependent Types in Practical Programming – Hongwei Xi, Dana Scott - 1998
67 Simplifying Subtyping Constraints – Francois Pottier - 1996
4 Making set-constraint based program analyses scale – F ahndrich, M, A Aiken - 1996
114 Set-based analysis of ML programs – Nevin Heintze - 1994
57 Closure Analysis in Constraint Form – Jens Palsberg - 1995