A compilation method for ML-style polymorphic record calculi (1992)

Cached

Download Links

by Atsushi Ohori
Citations:57 - 7 self

Active Bibliography

72 A Polymorphic Record Calculus and Its Compilation – Atsushi Ohori - 1995
38 Polymorphism and Type Inference in Database Programming – Peter Buneman, Atsushi Ohori
24 Static type inference for parametric classes – Atsushi Ohori, Peter Buneman - 1989
150 The Programming Language Jigsaw: Mixins, Modularity And Multiple Inheritance – Gilad Bracha, John Van Rosendale, Joseph L. Zachary, Thomas C. Henderson, B. Gale Dick - 1992
1 Method Reuse in Typed Object-Oriented Languages – Ryan Stansifer, Dan Wetklow - 1994
26 A Theory of Primitive Objects – Martín Abadi, Luca Cardelli - 1994
67 Programming with Intersection Types and Bounded Polymorphism – Benjamin C. Pierce - 1991
78 A theory of primitive objects: Untyped and first-order systems – Martín Abadi, Luca Cardelli - 1994
3 A framework for module-based language processors – Guruduth Banavar, Gary Lindstrom - 1993
4 Persistent Foundations for Scalable Multi-Paradigmal Systems – Malcolm Atkinson - 1992
3 Ohori: Static Type Checking in Object-Oriented Databases – Val Breazu-tannen, Peter Buneman, Atsushi Ohori - 1989
4 Interfacing Heterogeneous Systems through Functionally specified Transactions (Extended Abstract) – Rolf A. de By, Rolf A., Hennie J. Steenhagen - 1993
Naïve Type Theory – Robert L. Constable - 2002
8 An Imperative Object Calculus -- Basic Typing and Soundness – Martin Abadi, Luca Cardelli - 1995
19 From Classes to Objects via Subtyping – Didier Rémy - 1998
15 NuPRL’s class theory and its applications – Robert L. Constable, Jason Hickey - 2000
Proc. LICS’94 A Semantics of Object Types – Martín Abadi, Luca Cardelli
21 Lightweight Extensible Records for Haskell – Mark P. Jones, Simon Peyton Jones - 1999
26 An imperative object calculus – Martín Abadi, Luca Cardelli - 1995