A Polymorphic Record Calculus and Its Compilation (1995)

Cached

Download Links

by Atsushi Ohori
Venue:ACM Transactions on Programming Languages and Systems
Citations:72 - 8 self

Active Bibliography

38 Polymorphism and Type Inference in Database Programming – Peter Buneman, Atsushi Ohori
6 Type-directed specialization of polymorphism – Atsushi Ohori - 1999
24 Static type inference for parametric classes – Atsushi Ohori, Peter Buneman - 1989
67 Programming with Intersection Types and Bounded Polymorphism – Benjamin C. Pierce - 1991
1 Type system for specializing polymorphism – Atsushi Ohori - 1997
18 Compiling Standard ML For Efficient Execution On Modern Machines – Zhong Shao - 1994
8 A Study of Semantics, Types, and Languages for Databases and Object Oriented Programming – Atsushi Ohori - 1989
102 Compiling with Types – Greg Morrisett - 1995
38 Semantics for communication primitives in a polymorphic language – Atsushi Ohori, Kazuhiko Kato - 1993
103 On The Type Structure of Standard ML – Robert Harper, John C. Mitchell - 1993
30 A General Framework for Hindley/Milner Type Systems with Constraints – Martin Sulzmann - 2000
Type Theory for Programming Languages – Robert Harper - 1994
26 A Theory of Primitive Objects – Martín Abadi, Luca Cardelli - 1994
64 Gradual Typing for Functional Languages – Jeremy G. Siek, Walid Taha - 2006
2 An Unboxed Operational Semantics for ML Polymorphism – Atsushi Ohori, Tomonobu Takamizawa - 1997
65 Flexible representation analysis – Zhong Shao - 1997
138 Separate Compilation for Standard ML – Andrew W. Appel, David B. Macqueen - 1994
61 Implementing Typed Intermediate Languages – Zhong Shao, Christopher League, Stefan Monnier - 1998
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