-
Dynamic Rebinding for Marshalling and Update, via Redex-time
and Destruct-time Reduction.
Peter Sewell, Gareth Stoyle, Michael Hicks, Gavin Bierman, and Keith
Wansbrough.
Journal of Functional Programming, 18(4):437--502, 2008.
[ bib |
doi |
pdf |
abstract ]
-
Acute: High-level programming language design for distributed
computation.
Peter Sewell, James J. Leifer, Keith Wansbrough, Francesco
Zappa Nardelli, Mair Allen-Williams, Pierre Habouzit, and Viktor Vafeiadis.
Journal of Functional Programming, 17(4--5):547--612, July
2007.
Invited submission for an ICFP 2005 special issue.
[ bib |
doi |
project page |
ps |
pdf |
http |
abstract ]
-
Type-Safe Distributed Programming for OCaml.
John Billings, Peter Sewell, Mark Shinwell, and Rok Strniša.
In ML 2006.
[ bib |
doi |
project page |
ps |
pdf |
http |
abstract ]
-
HashCaml release, version 3.09.1-alpha-795,
John Billings, Peter Sewell, Mark Shinwell, and Rok Strniša, April 2006.
[ bib |
project page |
.html ]
-
Acute: High-level programming language design for distributed
computation.
Peter Sewell, James J. Leifer, Keith Wansbrough, Francesco
Zappa Nardelli, Mair Allen-Williams, Pierre Habouzit, and Viktor Vafeiadis.
In ICFP 2005.
[ bib |
doi |
project page |
ps |
pdf |
http |
abstract ]
-
Acute release, Peter Sewell, James J. Leifer,
Keith Wansbrough, Mair Allen-Williams, Francesco Zappa Nardelli, Pierre
Habouzit, and Viktor Vafeiadis, January 2005.
[ bib |
project page |
http ]
-
Acute: High-level programming language design for distributed
computation. Design rationale and language definition.
Peter Sewell, James J. Leifer, Keith Wansbrough, Mair Allen-Williams,
Francesco Zappa Nardelli, Pierre Habouzit, and Viktor Vafeiadis.
Technical Report UCAM-CL-TR-605, University of Cambridge Computer
Laboratory, October 2004.
Also published as INRIA RR-5329. 193pp.
[ bib |
project page |
ps |
pdf |
.html |
abstract ]
-
Acute and TCP: specifying and developing abstractions for
global computation.
James Leifer, Michael Norrish, Peter Sewell, and Keith Wansbrough.
In APPSEM II Workshop, 2004, 2pp.
[ bib ]
-
Dynamic Rebinding for Marshalling and Update, with
Destruct-time λ.
Gavin Bierman, Michael Hicks, Peter Sewell, Gareth Stoyle, and Keith
Wansbrough.
Technical Report UCAM-CL-TR-568, University of Cambridge Computer
Laboratory, February 2004.
85pp.
[ bib |
ps |
pdf |
.html |
abstract ]
-
Dynamic Rebinding for Marshalling and Update, with
Destruct-time lambda.
Gavin Bierman, Michael Hicks, Peter Sewell, Gareth Stoyle, and Keith
Wansbrough.
In ICFP 2003.
[ bib |
doi |
ps |
pdf |
http |
abstract ]
-
Global abstraction-safe marshalling with hash
types.
James Leifer, Gilles Peskine, Peter Sewell, and Keith Wansbrough.
In ICFP 2003.
[ bib |
doi |
ps |
pdf |
http |
abstract ]
-
Global abstraction-safe marshalling with hash
types.
James Leifer, Gilles Peskine, Peter Sewell, and Keith Wansbrough.
Technical Report UCAM-CL-TR-569, University of Cambridge Computer
Laboratory, June 2003.
Also published as INRIA Rocquencourt report RR-4851. 86pp.
[ bib |
ps |
pdf |
.html |
abstract ]
-
Modules, Abstract Types, and Distributed
Versioning.
Peter Sewell.
In POPL 2001.
[ bib |
doi |
errata |
pdf |
http |
abstract ]
-
Modules, Abstract Types, and Distributed
Versioning.
Peter Sewell.
Technical Report UCAM-CL-TR-506, University of Cambridge, September
2000.
46pp.
[ bib |
errata |
ps |
pdf |
.html |
abstract ]