Documents Related by Co-Citation

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
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
46 A Facile tutorial – B Thomsen, L Leth, T-M Kuo - 1996
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
198 Reflections on Standard ML – David B. MacQueen - 1992
1565 The Definition of Standard ML – Robin Milner, Mads Tofte - 1990
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
14 Rigour is good for you and feasible: reflections on formal treatments of C and UDP sockets – Michael Norrish, Peter Sewell, Keith Wansbrough - 2002
6 A parametric calculus for mobile open code – Davide Ancona, Sonia Fagorzi, Elena Zucca
895 A Theory of Objects – Luca Cardelli, Martín Abadi - 1996
1097 Proof-Carrying Code – George C. Necula - 1997
144 Program Fragments, Linking, and Modularization – Luca Cardelli, Luca Cardelli - 1997