The Design of Distributed Programming Languages (2008)
Peter Sewell, John Billings, Steve Bishop, Matthew Fairbairn, Pierre Habouzit, Michael Hicks, ...
High-level programming languages For non-distributed, non-concurrent programming, they’re pretty good. We have ML (SML/OCaml), Haskell, Java, C#, with: • type safety • rich concrete types –...
Abstract Global abstraction-safe marshalling with hash types (2008)
James J. Leifer, Gilles Peskine, Peter Sewell, Keith Wansbrough
Type abstraction is a key feature of ML-like languages for writing large programs. Marshalling is necessary for writing distributed programs, exchanging values via network byte-streams or persistent...
Abstract Global Abstraction-Safe Marshalling with Hash Types (2008)
James J. Leifer, Gilles Peskine, Peter Sewell, Keith Wansbrough
Type abstraction is a key feature of ML-like languages for writing large programs. Marshalling is necessary for writing distributed programs, exchanging values via network byte-streams or persistent...
Ott: Tool Support for Semantics User Guide version 0.10.14 (2008)
Peter Sewell, Scott Owens, Matthew Parkinson, Gilles Peskine, Tom Ridge, Susmit Sarkar
James J. Leifer, Gilles Peskine, Peter Sewell, Keith Wansbrough, Inria Rocquencourt
Type abstraction is a key feature of ML-like languages for writing large programs. Marshalling is necessary for writing distributed programs, exchanging values via network byte-streams or persistent...
Global abstraction-safe marshalling with hash types (2003)
Leifer, James J., Peskine, Gilles, Sewell, Peter, Wansbrough, Keith
Type abstraction is a key feature of ML-like languages for writing large programs. Marshalling is necessary for writing distributed programs, exchanging values via network byte-streams or persistent...
Global abstraction-safe marshalling with hash types (2003)
Leifer, James J., Peskine, Gilles, Sewell, Peter, Wansbrough, Keith
Type abstraction is a key feature of ML-like languages for writing large programs. Marshalling is necessary for writing distributed programs, exchanging values via network byte-streams or persistent...
Global abstraction-safe marshalling with hash types (2003)
Leifer, James J., Peskine, Gilles, Sewell, Peter, Wansbrough, Keith
Type abstraction is a key feature of ML-like languages for writing large programs. Marshalling is necessary for writing distributed programs, exchanging values via network byte-streams or persistent...
Global abstraction-safe marshalling with hash types (2003)
James J. Leifer, Gilles Peskine, Peter Sewell, Keith Wansbrough
Type abstraction is a key feature of ML-like languages for writing large programs. Marshalling is necessary for writing distributed programs, exchanging values via network byte-streams or persistent...
Global abstraction-safe marshalling with hash types (2003)
James J. Leifer, Gilles Peskine, Peter Sewell, Keith Wansbrough, Inria Rocquencourt, James J. Leifer, ...
apport de recherche
Global Abstraction-Safe Marshalling with Hash Types (2003)
James J. Leifer, Gilles Peskine, Peter Sewell, Keith Wansbrough
Type abstraction is a key feature of ML-like languages for writing large programs. Marshalling is necessary for writing distributed programs, exchanging values via network byte-streams or persistent...
Global Abstraction-Safe Marshalling With Hash Types (2003)
James J. Leifer, James J. Leifer, James J. Leifer, Gilles Peskine, Gilles Peskine, Gilles Peskine, ...
Type abstraction is a key feature of ML-like languages for writing large programs. Marshalling is necessary for writing distributed programs, exchanging values via network byte-streams or persistent...
Global Abstraction-Safe Marshalling with Hash Types (2003)
James Leifer Gilles, Gilles Peskine, Peter Sewell, Keith Wansbrough
Type abstraction is a key feature of ML-like languages for writing large programs. Marshalling is necessary for writing distributed programs, exchanging values via network byte-streams or persistent...
Global abstraction-safe marshalling with hash types (2003)
James J. Leifer, James J. Leifer, Gilles Peskine, Gilles Peskine, Peter Sewell, Peter Sewell, ...
apport de recherche