BibSonomy :: author  ::

bookmarks

publications

(11)

• Acute: High-level programming language design for distributed computation.
  Peter Sewell and James J. Leifer and Keith Wansbrough and Francesco Zappa Nardelli and Mair Allen-Williams and Pierre Habouzit and Viktor Vafeiadis J. Funct. Program. 17 547-612 (2007)
  to dblp by dblp on 2008-11-20 00:00:00
  | URL | BibTeX  
• Rigour is good for you and feasible: reflections on formal treatments of C and UDP sockets.
  Michael Norrish and Peter Sewell and Keith Wansbrough ACM SIGOPS European Workshop 49-53 (2002)
  to dblp by dblp on 2008-04-02 00:00:00
  | URL | BibTeX  
• A Modular Monadic Action Semantics.
  Keith Wansbrough and John Hamer DSL (1997)
  to dblp by dblp on 2007-05-07 00:00:00
  | URL | BibTeX  
• Rigorous specification and conformance testing techniques for network protocols, as applied to TCP, UDP, and sockets.
  Steve Bishop and Matthew Fairbairn and Michael Norrish and Peter Sewell and Michael Smith and Keith Wansbrough SIGCOMM 265-276 (2005)
  to dblp by dblp on 2006-06-02 00:00:00
  | URL | BibTeX  
• Engineering with logic: HOL specification and symbolic-evaluation testing for TCP implementations.
  Steve Bishop and Matthew Fairbairn and Michael Norrish and Peter Sewell and Michael Smith and Keith Wansbrough POPL 55-66 (2006)
  to dblp by dblp on 2006-02-21 00:00:00
  | URL | BibTeX  
• Acute: high-level programming language design for distributed computation.
  Peter Sewell and James J. Leifer and Keith Wansbrough and Francesco Zappa Nardelli and Mair Allen-Williams and Pierre Habouzit and Viktor Vafeiadis ICFP 15-26 (2005)
  to dblp by dblp on 2006-02-13 00:00:00
  | URL | BibTeX  
• Dynamic rebinding for marshalling and update, with destruct-time?
  Gavin M. Bierman and Michael W. Hicks and Peter Sewell and Gareth Stoyle and Keith Wansbrough ICFP 99-110 (2003)
  to dblp by dblp on 2006-02-13 00:00:00
  | URL | BibTeX  
• Global abstraction-safe marshalling with hash types.
  James J. Leifer and Gilles Peskine and Peter Sewell and Keith Wansbrough ICFP 87-98 (2003)
  to dblp by dblp on 2006-02-13 00:00:00
  | URL | BibTeX  
• Once Upon a Polymorphic Type.
  Keith Wansbrough and Simon L. Peyton Jones POPL 15-28 (1999)
  to dblp by dblp on 2002-12-05 00:00:00
  | URL | BibTeX  
• Timing UDP: Mechanized Semantics for Sockets, Threads, and Failures.
  Keith Wansbrough and Michael Norrish and Peter Sewell and Andrei Serjantov ESOP 278-294 (2002)
  to dblp by dblp on 2002-03-15 00:00:00
  | URL | BibTeX