Semantics for communication primitives in a polymorphic language (1993)

by Atsushi Ohori , Kazuhiko Kato
Venue:In Proc. 20th ACM Symp. on Principles of Programming Languages
Citations:38 - 7 self

Active Bibliography

6 Type-directed specialization of polymorphism – Atsushi Ohori - 1999
38 Polymorphism and Type Inference in Database Programming – Peter Buneman, Atsushi Ohori
154 Dynamic typing in a statically typed language – M. Abadi, L. Cardelli, B. Pierce, G. Plotkin, Matthias Berg, Advisor Andreas Rossberg - 1991
102 Compiling with Types – Greg Morrisett - 1995
11 Programming With Types – Stephanie Claudene Weirich - 2002
259 Compiling polymorphism using intensional type analysis – Robert Harper, Greg Morrisett - 1995
10 Practical Soft Typing – Andrew K. Wright - 1994
1 Type system for specializing polymorphism – Atsushi Ohori - 1997
538 A Syntactic Approach to Type Soundness – Andrew K. Wright, Matthias Felleisen - 1992
108 An Interaction-based Language and its Typing System – Kaku Takeuchi, Kohei Honda, Makoto Kubo - 1994
8 A Study of Semantics, Types, and Languages for Databases and Object Oriented Programming – Atsushi Ohori - 1989
14 From Hindley-Milner types to first-class structures – Mark P. Jones - 1995
3 Type-Secure Meta-Programming – Christopher Bentley Dornan - 1998
72 A Polymorphic Record Calculus and Its Compilation – Atsushi Ohori - 1995
61 Smartest Recompilation – Zhong Shao, Andrew W. Appel - 1993
2 An Unboxed Operational Semantics for ML Polymorphism – Atsushi Ohori, Tomonobu Takamizawa - 1997
198 Reflections on Standard ML – David B. MacQueen - 1992
97 Dynamic Typing in Polymorphic Languages – Martín Abadi, Luca Cardelli, Benjamin Pierce, Didier Rémy - 1995
15 Advanced Languages for Systems Software The Fox Project in 1994 – Robert Harper, Peter Lee - 1994