G. Bierman
发表
Valeria C V de Paiva,
Nick Benton,
G. Bierman,
1992
.
Juan Chen,
Pierre-Yves Strub,
Gavin M. Bierman,
2014,
POPL.
Brian Beckman,
Gavin M. Bierman,
Erik Meijer,
2006,
SIGMOD Conference.
Wolfram Schulte,
Erik Meijer,
Gavin Bierman,
2005
.
Gavin M. Bierman,
Mads Torgersen,
Erik Meijer,
2007,
OOPSLA.
G. Bierman,
2007
.
G. Bierman,
1997
.
G. Bierman,
2007
.
Claudio V. Russo,
T. Petříček,
G. Bierman,
2017
.
Nick Benton,
Valeria de Paiva,
Gavin Bierman,
1992
.
Michael Hicks,
Gavin M. Bierman,
Peter Sewell,
2003,
ACM SIGPLAN Notices.
Catalin Hritcu,
G. Bierman,
D. Langworthy,
2010,
ICFP '10.
Gavin M. Bierman,
Wolfram Schulte,
Erik Meijer,
2005,
European Conference on Object-Oriented Programming.
G. M. Bierman,
A. Trigoni,
G. Bierman,
2000
.
Paul Curzon,
Gavin Bierman,
Torben Brauner,
2005
.
Gavin M. Bierman,
James Noble,
Matthew J. Parkinson,
2008,
ECOOP.
Gavin M. Bierman,
Alisdair Stuart Wren,
G. Bierman,
2005,
ECOOP.
Gavin M. Bierman,
Matthew J. Parkinson,
G. Bierman,
2005,
POPL '05.
G M Bierman,
G. Bierman,
1999,
Theor. Comput. Sci..
Gavin M. Bierman,
G. Bierman,
1996,
Ann. Pure Appl. Log..
Nick Benton,
Valeria de Paiva,
Gavin M. Bierman,
1992,
CSL.
Valeria de Paiva,
Gavin M. Bierman,
Valeria C V de Paiva,
2000,
Stud Logica.
Martín Abadi,
Gavin M. Bierman,
Mads Torgersen,
2014,
ECOOP.
Michael Hicks,
Gavin M. Bierman,
Peter Sewell,
2007,
Journal of Functional Programming.
Peter Sewell,
Michael Hicks,
Gavin Bierman,
2003
.
Andrew M. Pitts,
Matthew J. Parkinson,
Gavin Bierman,
2003
.
Michael Hicks,
Gavin M. Bierman,
Nataliya Guts,
2014,
MSFP.
Claudio V. Russo,
Gavin M. Bierman,
Mads Torgersen,
2012,
ECOOP.
Gavin M. Bierman,
Nikhil Swamy,
Cédric Fournet,
2015,
POPL.
Gavin M. Bierman,
Mads Torgersen,
Erik Meijer,
2010,
ECOOP.
Claudio V. Russo,
Gavin M. Bierman,
Andrew M. Pitts,
2001,
HOOTS.
Christian Urban,
Gavin M. Bierman,
G. Bierman,
1999,
Fundam. Informaticae.
Agathoniki Trigoni,
Gavin M. Bierman,
G. Bierman,
2001,
BNCOD.
E. Meijer,
G. Bierman,
Mads Torgersen,
2010,
ECOOP.
Nick Benton,
Valeria de Paiva,
Gavin M. Bierman,
1998,
Journal of Functional Programming.
Gavin M. Bierman,
G. Bierman,
2000,
Journal of Functional Programming.
Peter Sewell,
M. Hicks,
G. Bierman,
2005,
POPL '05.
Gavin M. Bierman,
Matthew J. Parkinson,
G. Bierman,
2008,
POPL '08.
Gavin M. Bierman,
Iulian Neamtiu,
Peter Sewell,
2007,
TOPL.
Gavin M. Bierman,
Peter Sewell,
Michael W. Hicks,
2003,
ICFP '03.