Simple objects for Standard ML (1996)

Cached

Download Links

by John Reppy , Jon Riecke
Venue:In 1996 ACM SIGPLAN Conference on Programming Language Design and Implementation
Citations:42 - 1 self

Documents Related by Co-Citation

1565 The Definition of Standard ML – Robin Milner, Mads Tofte - 1990
895 A Theory of Objects – Luca Cardelli, Martín Abadi - 1996
107 Sound Polymorphic Type Inference for Objects – Jonathan Eifrig, Scott Smith, Valery Trifonov - 1995
141 A Calculus for Overload Functions with Subtyping – G. Castagna, G. Ghelli, G. Longo - 1992
317 Pizza into Java: Translating theory into practice – Martin Odersky, Philip Wadler - 1997
76 Type inference with subtypes – Y Fuh, P Mishra - 1988
756 On understanding types, data abstraction, and polymorphism – Luca Cardelli, Peter Wegner - 1985
51 Type Checking Higher-Order Polymorphic Multi-Methods – Francois Bourdoncle , Stephan Merz - 1997
5242 Design Patterns: Elements of Reusable Object-Oriented Software – E Gamma, R Helm, R Johnson, J Vlissides - 1994
46 Synthesizing object-oriented and functional design to promote re-use – Shriram Krishnamurthi, Matthias Felleisen, Daniel P. Friedman - 1998
188 Units: Cool Modules for HOT Languages – Matthew Flatt, Matthias Felleisen - 1998
159 Simple Type-Theoretic Foundations for Object-Oriented Programming – Benjamin C. Pierce, David N. Turner - 1993
50 Objective ML: A simple object-oriented extension to ML – D RÉMY, J VOUILLON - 1997
939 A theory of type polymorphism in programming – Robin Milner - 1978
189 MultiJava: Modular Open Classes and Symmetric Multiple Dispatch for Java – Curtis Clifton, Gary T. Leavens - 2000
81 The Design of a Class Mechanism for MOBY – Kathleen Fisher, John Reppy - 1999
131 Modular Object-Oriented Programming with Units and Mixins – Robert Bruce Findler, Matthew Flatt - 1998
90 Object-Oriented Programming Versus Abstract Data Types – William R. Cook - 1990
39 User-defined Types and Procedural Data Structures as Complementary Approaches to Type Abstraction – J C Reynolds - 1975