Mair Allen-Williams

Publication Activity (10 Years)

Years Active: 2005-2007
Publications (10 Years): 0

University of Southampton, UK (PHD)

Education History

University of Southampton, UK

PHD

Publications

Peter Sewell, James J. Leifer, Keith Wansbrough, Francesco Zappa Nardelli, Mair Allen-Williams, Pierre Habouzit, Viktor Vafeiadis
Acute: High-level programming language design for distributed computation. J. Funct. Program. 17 (4-5) (2007)
Peter Sewell, James J. Leifer, Keith Wansbrough, Francesco Zappa Nardelli, Mair Allen-Williams, Pierre Habouzit, Viktor Vafeiadis
Acute: high-level programming language design for distributed computation. ICFP (2005)