Abstraction preservation and subtyping in distributed languages (2006)

Cached

Download Links

by James J. Leifer
Venue:In Proc. ICFP
Citations:10 - 3 self

Documents Related by Co-Citation

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
42 Global abstraction-safe marshalling with hash types – James J. Leifer, Gilles Peskine, Peter Sewell, Keith Wansbrough - 2003
1565 The Definition of Standard ML – Robin Milner, Mads Tofte - 1990
9 Type-Safe Distributed Programming for OCaml – John Billings , Peter Sewell, Mark Shinwell, Rok Strnisa - 2006
46 A Facile tutorial – B Thomsen, L Leth, T-M Kuo - 1996
52 Syntactic Type Abstraction – Dan Grossman, Greg Morrisett, Steve Zdancewic - 2000
268 A Type-Theoretic Approach to Higher-Order Modules with Sharing – Robert Harper, Mark Lillibridge - 1994
91 A Generic Type System for the Pi-Calculus – Atsushi Igarashi, Naoki Kobayashi - 2003
65 Location-Independent Communication for Mobile Agents: a Two-Level Architecture – Peter Sewell, Pawel T. Wojciechowski, Benjamin C. Pierce - 1998
42 Modules, abstract types, and distributed versioning – Peter Sewell - 2001
254 Pict: A programming language based on the pi-calculus – Benjamin C. Pierce, David N. Turner - 1997
271 A Calculus of Mobile Agents – Cédric Fournet, Georges Gonthier, Jean-Jacques Lévy, Luc Maranget, Didier Rémy, Inria Rocquencourt - 1996
3 Efficient Distributed Subtyping Tests – Sébastien Baehni, João Barreto, Rachid Guerraoui - 2007
2 Le hachage parfait fait-il un parfait test de sous-typage – R Ducournau - 2006
2 Java 1.5 Language Specification, third edition. http://java.sun.com/j2se/1.5.0/docs/index.html – J Gosling, B Joy, G Steele, G Bracha - 2005
2 Framework Reference Documentation – NET - 2005
20 Perfect hashing functions: a single probe retrieving method for static sets – R Sprugnoli - 1977
16 Java Subtype Tests in Real-Time – Krzysztof Palacz, Jan Vitek - 2003
25 Near optimal hierarchical encoding of types – Andreas Krall, Jan Vitek, R. Nigel Horspool - 1997