Documents Related by Co-Citation

365 Types, abstraction and parametric polymorphism – J C Reynolds - 1983
44 Dynamic Opacity for Abstract Types – Andreas Rossberg
260 Compiling polymorphism using intensional type analysis – Robert Harper, Greg Morrisett - 1995
42 Modules, abstract types, and distributed versioning – Peter Sewell - 2001
83 A Type System for Higher-Order Modules – Derek Dreyer, Karl Crary, Robert Harper - 2003
224 Manifest Types, Modules, and Separate Compilation – Xavier Leroy - 1994
268 A Type-Theoretic Approach to Higher-Order Modules with Sharing – Robert Harper, Mark Lillibridge - 1994
42 Global abstraction-safe marshalling with hash types – James J. Leifer, Gilles Peskine, Peter Sewell, Keith Wansbrough - 2003
156 Dynamic typing in a statically typed language – M. Abadi, L. Cardelli, B. Pierce, G. Plotkin, Matthias Berg, Advisor Andreas Rossberg - 1991
34 On the equivalence of data representations – J C Mitchell - 1991
292 Abstract types have existential types – J C Mitchell, G D Plotkin - 1988
327 Foundations of Programming Languages – J C Mitchell - 1996
326 Theorems for free! – Philip Wadler - 1989
115 Contracts for Higher-Order Functions – Robert Bruce Findler, Matthias Felleisen - 2002
90 Stack Inspection: Theory and Variants – C├ędric Fournet, Andrew D. Gordon - 2001
118 Hybrid type checking – C Flanagan - 2006
131 Ownership, Encapsulation and the Disjointness of Type and Effect – Dave Clarke, Sophia Drossopoulou - 2002
134 Object Ownership and Containment – David Clarke - 2001
200 Alias Annotations for Program Understanding – Jonathan Aldrich, Valentin Kostadinov, Craig Chambers - 2002