Documents Related by Co-Citation

1565 The Definition of Standard ML – Robin Milner, Mads Tofte - 1990
292 Abstract types have existential types – J C Mitchell, G D Plotkin - 1988
605 The Definition of Standard ML (Revised – Robin Milner, Mads Tofte, Robert Harper, David Macqueen - 1997
308 Subtyping recursive types – Roberto M. Amadio, Luca Cardelli - 1993
58 An extension of Standard ML modules with Subtyping And Inheritance – John Mitchell, Sigurd Meldal, Neel Madhav
756 On understanding types, data abstraction, and polymorphism – Luca Cardelli, Peter Wegner - 1985
114 Type Inference for Record Concatenation and Multiple Inheritance – Mitchell Wand - 1989
128 Typechecking records and variants in a natural extension of ML – D Rémy - 1989
939 A theory of type polymorphism in programming – Robin Milner - 1978
18 The De nition of Standard ML (Revised – Robin Milner, Mads Tofte, Robert Harper, Dave MacQueen - 1997
110 Type inference for polymorphic references – M Tofte - 1990
588 From System F to Typed Assembly Language – Greg Morrisett, David Walker, Karl Crary, Neal Glew - 1998
99 Dynamic Typing in Polymorphic Languages – Martín Abadi, Luca Cardelli, Benjamin Pierce, Didier Rémy - 1995
172 Refinement types for ML – Tim Freeman - 1994
58 A Record Calculus Based on Symmetric Concatenation – Robert Harper, Benjamin Pierce - 1991
141 Operations on records – Luca Cardelli, John C. Mitchell - 1991
79 Objects as closures: Abstract semantics of object-oriented languages – Uday S. Reddy - 1988
80 Revised 4 report on the algorithmic language Scheme – William Clinger, Jonathan Rees (editors, H. Abelson, R. K. Dybvig, C. T. Haynes, G. J. Rozas, D. H. Bartley, R. Halstead, D. Oxley, G. J. Sussman, G. Brooks, C. Hanson, K. M. Pitman, M. Wand - 1991
449 JFlow: Practical Mostly-Static Information Flow Control – Andrew C. Myers - 1999