Keith Wansbrough
发表
Gavin M. Bierman,
Peter Sewell,
Michael W. Hicks,
2003,
ICFP '03.
Peter Sewell,
Keith Wansbrough,
James J. Leifer,
2003,
ACM SIGPLAN Notices.
Michael Norrish,
Peter Sewell,
Keith Wansbrough,
2002,
ESOP.
Michael Hicks,
Gavin M. Bierman,
Peter Sewell,
2003,
ACM SIGPLAN Notices.
Peter Sewell,
Keith Wansbrough,
James J. Leifer,
2003,
ICFP '03.
Michael Norrish,
Peter Sewell,
Keith Wansbrough,
2002,
EW 10.
Simon L. Peyton Jones,
Keith Wansbrough,
1999,
POPL '99.
Michael Norrish,
Peter Sewell,
Keith Wansbrough,
2006,
POPL '06.
Michael Hicks,
Gavin M. Bierman,
Peter Sewell,
2007,
Journal of Functional Programming.
Viktor Vafeiadis,
Francesco Zappa Nardelli,
Peter Sewell,
2007,
J. Funct. Program..
Michael Norrish,
Peter Sewell,
Keith Wansbrough,
2005
.
Simon Peyton Jones,
Keith Wansbrough,
2000
.
John Hamer,
Keith Wansbrough,
J. Hamer,
1997,
DSL.
Tom Ridge,
Michael Norrish,
Peter Sewell,
2018,
J. ACM.
Keith Wansbrough,
Keith Wansbrough,
2003
.
Peter Sewell,
Keith Wansbrough,
Andrei Serjantov,
2001,
TACS.
Peter Sewell,
Keith Wansbrough,
Michael Hicks,
2002
.
Viktor Vafeiadis,
Francesco Zappa Nardelli,
Peter Sewell,
2005,
ICFP '05.
Michael Norrish,
Michael Smith,
Peter Sewell,
2005
.
Michael Norrish,
Peter Sewell,
Keith Wansbrough,
2005,
SIGCOMM '05.
Uwe Nestmann,
Keith Wansbrough,
Andrei Serjantov,
2003
.