John Billings Peter Sewell Mark Shinwell Rok Strni sa Computer Laboratory,...  Home/Search
Context
Related
| cl.cam.ac.uk/~pes20/hashcaml...paper.ps Cached: PS.gz PS PDF This document uses CoBlitz to cache paper downloads. If your firewall is blocking outgoing connections to port 3125, you can use these links to download local copies.
Image Update HelpPS.gz PS PDF From: cl.cam.ac.uk/~pes20/ (more) (Enter author homepages) |
Rate this article:      (best)Comment on this article |
Abstract: Existing ML-like languages guarantee type-safety, ensuring memory safety and protecting the invariants of abstract types, but only within single executions of single programs. Distributed programming is becoming ever more important, and should benefit even more from such guarantees. In previous work on theoretical calculi and the Acute prototype language we outlined techniques to provide them for simple languages. (Update)
Active bibliography (related documents): More All
2.1: Type-Secure Meta-Programming - Christopher Bentley Dornan (1998) (Correct)
0.7: Global Abstraction-Safe Marshalling with Hash Types - Leifer, Peskine, Sewell.. (2003) (Correct)
0.6: Global Abstraction-Safe Marshalling With Hash Types - Leifer, Peskine, Sewell.. (2003) (Correct)
Similar documents based on text:
0.0: Unknown - (Correct)
BibTeX entry: (Update)
@misc{ peter-typesafe,
author = "John Billings Peter",
title = "Type-Safe Distributed Programming for OCaml",
url = "citeseer.ist.psu.edu/764810.html" }
Citations (may not include all citations):854 Information and Computation (context) - Milner, Parrow et al. - 1992
315 Dynamic typing in a statically typed language - Abadi, Cardelli et al. - 1991
261 Dynamic typing in polymorphic languages - Abadi, Cardelli et al. - 1995
215 A type-theoretic approach to higherorder modules with sharin.. - Harper, Lillibridge - 1994
200 Pict: A programming language based on the pi-calculus - Pierce, Turner - 2000
137 Journal of Functional Programming (context) - Leroy, Mauny et al. - 1993
128 and separate compilation (context) - Leroy, modules - 1994
86 Intensional polymorphism in type erasure semantics - Crary, Weirich et al. - 1998
63 Concurrent Programming in ML (context) - Reppy - 1999
58 Simple imperative polymorphism - Wright - 1995
45 Locationindependent communication for mobile agents: a two-l.. - Sewell, Wojciechowski et al. - 1999
31 Tag-free garbage collection for strongly typed programming l.. (context) - Goldberg - 1991
17 A Facile tutorial (context) - Thomsen, Leth et al. - 1996
16 Global abstraction-safe marshalling with hash types - Leifer, Peskine et al. - 2003
15 and distributed versioning (context) - Sewell, abstract - 2001
10 FreshML: Programming with binders made simple - Shinwell, Pitts et al. - 2003
9 with destruct-time (context) - Bierman, Hicks et al. - 2003
8 Objective Caml (context) - Leroy - 2006
6 Syntactic type abstraction - Grossman, Morrisett et al. - 2000
5 Generativity and dynamic opacity for abstract types (context) - Rossberg - 2003
4 An open and shut typecase - Vytiniotis, Washburn et al. - 2005
4 Entr eesortie valeur en Caml (context) - Weis, sorties et al. - 2000
3 Acute: High-level programming language design for distribute.. (context) - Sewell, Leifer et al. - 2005
3 Acute: High-level programming language design for distribute.. (context) - Sewell, Leifer et al. - 2004
3 A type theory for higher-order modules (context) - Dreyer, Crary et al. - 2003
3 Acute: High-level programming language design for distribute.. (context) - Sewell, Leifer et al. - 2005
2 Relaxing the value restriction - Garrigue - 2004
1 Personal communication (context) - Garrigue - 2005
1 Abstraction preservation and subtyping in distributed langua.. (context) - Deni, Leifer - 2006
1 Computer Science Tripos Part II Dissertation (context) - Billings, compiler et al. - 2005
1 The JoCaml language beta release documentation and user's ma.. (context) - Fournet, Fessant et al. - 2001
1 ukuserpes hashcaml (context) - Shinwell, HashCaml et al. - 2006
1 Extensional Polymorphism: Theory and Applications (context) - Furuse - 2002
1 The implementation of HashCaml (context) - Billings, Sewell et al. - 2006
1 Acaml: An extension of OCaml with Acute-like marshalling (context) - Verlaguet - 2005
1 es erialisation sans s erialiser les types (context) - Henry, Mauny et al. - 2006
1 Chapter in Advanced Topics in Types and Programming Language.. (context) - Harper, Pierce et al. - 2005
1 Alice through the looking glass (context) - Rossberg, Botlan et al. - 2006
1 Java TM object serialization specification (context) - object, Technical et al. - 2004
Documents on the same site (http://www.cl.cam.ac.uk/~pes20/): More
Design Rules and Abstractions (from branching and real time) - Sewell (1996) (Correct)
Global/Local Subtyping for a Distributed π-calculus - Sewell (1997) (Correct)
On Implementations and Semantics of a Concurrent Programming.. - Sewell (1997) (Correct)
Online articles have much greater impact More about CiteSeer.IST Add search form to your site Submit documents Feedback
CiteSeer.IST - Copyright Penn State and NEC