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

1562 The Definition of Standard ML – Robin Milner, Mads Tofte - 1990
891 A Theory of Objects – Luca Cardelli, Martín Abadi - 1996
104 Sound Polymorphic Type Inference for Objects – Jonathan Eifrig, Scott Smith, Valery Trifonov - 1995
138 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 P.: Type inference with subtypes – Y C Fuh, Mishra
758 On understanding types, data abstraction, and polymorphism – Luca Cardelli, Peter Wegner - 1985
50 Type Checking Higher-Order Polymorphic Multi-Methods – Francois Bourdoncle , Stephan Merz - 1997
5269 Design patterns: elements of reusable objectoriented software – E Gamma, R Helm, R Johnson, J Vlissides - 1995
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
158 Simple Type-Theoretic Foundations for Object-Oriented Programming – Benjamin C. Pierce, David N. Turner - 1993
51 Objective ML: A Simple Object-Oriented Extension of ML – D Rémy, J Vouillon - 1997
936 A theory of type polymorphism in programming – Robin Milner - 1978
190 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
132 Modular Object-Oriented Programming with Units and Mixins – Robert Bruce Findler, Matthew Flatt - 1998
89 Object-Oriented Programming Versus Abstract Data Types – William R. Cook - 1990
39 User-Defined Types and Procedural Data Structures as Complementary Approaches to Data Abstraction – John C Reynolds - 1975