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
26 Static type inference for parametric classes – Atsushi Ohori, Peter Buneman - 1989
66 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
September 1992Polymorphism and Type Inference in Database Programming – Peter Buneman, Atsushi Ohori, Peter Buneman, Atsushi Ohori, Peter Buneman, Atsushi Ohorit
38 Semantics for communication primitives in a polymorphic language – Atsushi Ohori, Kazuhiko Kato - 1993
102 On The Type Structure of Standard ML – Robert Harper, John C. Mitchell - 1993
Type Theory for Programming Languages – Robert Harper - 1994
30 A General Framework for Hindley/Milner Type Systems with Constraints – Martin Sulzmann - 2000
26 A Theory of Primitive Objects – Martín Abadi, Luca Cardelli - 1994
64 Gradual Typing for Functional Languages – Jeremy G. Siek, Walid Taha - 2006
138 Separate Compilation for Standard ML – Andrew W. Appel, David B. Macqueen - 1994
2 An Unboxed Operational Semantics for ML Polymorphism – Atsushi Ohori, Tomonobu Takamizawa - 1997
65 Flexible representation analysis – Zhong Shao - 1997
60 Implementing Typed Intermediate Languages – Zhong Shao, Christopher League, Stefan Monnier - 1998