Documents Related by Co-Citation

267 A Type-Theoretic Approach to Higher-Order Modules with Sharing – Robert Harper, Mark Lillibridge - 1994
223 Manifest Types, Modules, and Separate Compilation – Xavier Leroy - 1994
46 A Facile tutorial – B Thomsen, L Leth, T-M Kuo - 1996
42 Global abstraction-safe marshalling with hash types – James J. Leifer, Gilles Peskine, Peter Sewell, Keith Wansbrough - 2003
65 Location-Independent Communication for Mobile Agents: a Two-Level Architecture – Peter Sewell, Pawel T. Wojciechowski, Benjamin C. Pierce - 1998
44 Dynamic Opacity for Abstract Types – Andreas Rossberg
52 Syntactic Type Abstraction – Dan Grossman, Greg Morrisett, Steve Zdancewic - 2000
42 Modules, abstract types, and distributed versioning – Peter Sewell - 2001
110 A Calculus of Module Systems – Davide Ancona, Elena Zucca, Via Dodecaneso - 2001
198 Reflections on Standard ML – David B. MacQueen - 1992
57 Acute: High-level programming language design for distributed computation – Peter Sewell, James J. Leifer, Keith Wansbrough, Mair Allen-williams, Pierre Habouzit, Viktor Vafeiadis - 2004
154 Dynamic typing in a statically typed language – M. Abadi, L. Cardelli, B. Pierce, G. Plotkin, Matthias Berg, Advisor Andreas Rossberg - 1991
83 A Type System for Higher-Order Modules – Derek Dreyer, Karl Crary, Robert Harper - 2003
1566 The Definition of Standard ML – Robin Milner, Mads Tofte - 1990
259 Compiling polymorphism using intensional type analysis – Robert Harper, Greg Morrisett - 1995
11 B.C.: Design issues in advanced module systems – R Harper, Pierce - 2004
78 FreshML: Programming with Binders Made Simple – Mark R. Shinwell, Andrew M. Pitts, Murdoch J. Gabbay - 2003
4 Entr ees/sorties de valeurs en Caml – J Furuse, P Weis - 2000
6 A parametric calculus for mobile open code – Davide Ancona, Sonia Fagorzi, Elena Zucca