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

Abstract Semantics for Communication Primitives in a Polymorphic Language ∗ – Atsushi Ohori
540 A Syntactic Approach to Type Soundness – Andrew K. Wright, Matthias Felleisen - 1992
589 From System F to Typed Assembly Language – Greg Morrisett, David Walker, Karl Crary, Neal Glew - 1998
259 Compiling polymorphism using intensional type analysis – Robert Harper, Greg Morrisett - 1995
38 Polymorphism and Type Inference in Database Programming – Peter Buneman, Atsushi Ohori
759 On understanding types, data abstraction, and polymorphism – Luca Cardelli, Peter Wegner - 1985
6 Type-directed specialization of polymorphism – Atsushi Ohori - 1999
154 Dynamic typing in a statically typed language – M. Abadi, L. Cardelli, B. Pierce, G. Plotkin, Matthias Berg, Advisor Andreas Rossberg - 1991
513 Fine-grained Mobility in the Emerald System – Eric Jul, Henry Levy, Norman Hutchinson, Andrew Black - 1988