BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter
Travelled to:
1 × Estonia
1 × France
1 × Sweden
2 × USA
Collaborated with:
P.Sewell S.L.P.Jones M.Norrish J.J.Leifer G.Peskine A.Serjantov G.M.Bierman M.W.Hicks G.Stoyle S.Bishop M.Fairbairn M.Smith F.Z.Nardelli M.Allen-Williams P.Habouzit V.Vafeiadis
Talks about:
marshal (2) type (2) time (2) polymorph (1) implement (1) distribut (1) destruct (1) abstract (1) program (1) languag (1)

Person: Keith Wansbrough

DBLP DBLP: Wansbrough:Keith

Contributed to:

POPL 20062006
ICFP 20052005
ICFP 20032003
ESOP 20022002
POPL 19991999

Wrote 6 papers:

POPL-2006-BishopFNSSW #implementation #logic #specification #testing
Engineering with logic: HOL specification and symbolic-evaluation testing for TCP implementations (SB, MF, MN, PS, MS, KW), pp. 55–66.
ICFP-2005-SewellLWNAHV #design #distributed #named #programming language
Acute: high-level programming language design for distributed computation (PS, JJL, KW, FZN, MAW, PH, VV), pp. 15–26.
ICFP-2003-BiermanHSSW #question
Dynamic rebinding for marshalling and update, with destruct-time? (GMB, MWH, PS, GS, KW), pp. 99–110.
Global abstraction-safe marshalling with hash types (JJL, GP, PS, KW), pp. 87–98.
ESOP-2002-WansbroughNSS #semantics #thread
Timing UDP: Mechanized Semantics for Sockets, Threads, and Failures (KW, MN, PS, AS), pp. 278–294.
POPL-1999-WansbroughJ #polymorphism
Once Upon a Polymorphic Type (KW, SLPJ), pp. 15–28.

Bibliography of Software Language Engineering in Generated Hypertext (BibSLEIGH) is created and maintained by Dr. Vadim Zaytsev.
Hosted as a part of SLEBOK on GitHub.