Documents Related by Co-Citation

65 Location-Independent Communication for Mobile Agents: a Two-Level Architecture – Peter Sewell, Pawel T. Wojciechowski, Benjamin C. Pierce - 1998
46 A Facile tutorial – B Thomsen, L Leth, T-M Kuo - 1996
268 A Type-Theoretic Approach to Higher-Order Modules with Sharing – Robert Harper, Mark Lillibridge - 1994
224 Manifest Types, Modules, and Separate Compilation – Xavier Leroy - 1994
42 Global abstraction-safe marshalling with hash types – James J. Leifer, Gilles Peskine, Peter Sewell, Keith Wansbrough - 2003
44 Dynamic Opacity for Abstract Types – Andreas Rossberg
109 A Calculus of Module Systems – Davide Ancona, Elena Zucca, Via Dodecaneso - 2001
56 Acute: High-level programming language design for distributed computation – Peter Sewell, James J. Leifer, Keith Wansbrough, Mair Allen-williams, Pierre Habouzit, Viktor Vafeiadis - 2004
52 Syntactic Type Abstraction – Dan Grossman, Greg Morrisett, Steve Zdancewic - 2000
42 Modules, abstract types, and distributed versioning – Peter Sewell - 2001
6 A parametric calculus for mobile open code – Davide Ancona, Sonia Fagorzi, Elena Zucca
198 Reflections on Standard ML – David B. MacQueen - 1992
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
6 Beyond Static and Dynamic Scope – Éric Tanter
9 A Calculus of Evolving Objects ⋆ – Mariangiola Dezani-ciancaglini, Paola Giannini, Oscar Nierstrasz
27 A Lambda-Calculus for Dynamic Binding – Laurent Dami - 1997
239 MetaML and Multi-Stage Programming with Explicit Annotations – Walid Taha, Tim Sheard - 1999
16 Viktor Vafeiadis. Acute: High-level programming language design for distributed computation – Peter Sewell, James J Leifer, Keith Wansbrough, Francesco Zappa Nardelli, Mair Allen-Williams, Pierre Habouzit