Gavin M. Bierman
发表
Michael Hicks,
Gavin M. Bierman,
Nataliya Guts,
2014,
MSFP.
Gavin M. Bierman,
Peter Sewell,
Michael W. Hicks,
2003,
ICFP '03.
Gavin M. Bierman,
G. Bierman,
2000,
Journal of Functional Programming.
Gavin M. Bierman,
Cristina Cifuentes,
2019,
SNAPL.
Gavin M. Bierman,
Nikhil Swamy,
Michael W. Hicks,
2009,
ICFP.
Michael Hicks,
Gavin M. Bierman,
Peter Sewell,
2003,
ACM SIGPLAN Notices.
Andrew D. Gordon,
Gavin M. Bierman,
Catalin Hritcu,
2010,
ICFP '10.
Gavin M. Bierman,
Alisdair Stuart Wren,
G. Bierman,
2005,
ECOOP.
Gavin M. Bierman,
2003,
SIGMOD '03.
Gavin M. Bierman,
1996,
Electron. Notes Theor. Comput. Sci..
Gavin M. Bierman,
G. Bierman,
1996,
Ann. Pure Appl. Log..
Nick Benton,
Valeria de Paiva,
Gavin M. Bierman,
1993,
TLCA.
Agathoniki Trigoni,
Gavin M. Bierman,
G. Bierman,
2001,
BNCOD.
Gavin M. Bierman,
Wolfram Schulte,
Erik Meijer,
2005,
European Conference on Object-Oriented Programming.
Ewan D. Tempero,
Gavin M. Bierman,
James Noble,
2008,
HotSWUp '08.
Claudio V. Russo,
Gavin M. Bierman,
Andrew M. Pitts,
2001,
HOOTS.
Gavin M. Bierman,
Mads Torgersen,
Erik Meijer,
2007,
OOPSLA.
Claudio V. Russo,
Gavin M. Bierman,
Mads Torgersen,
2012,
ECOOP.
Michael Hicks,
Gavin M. Bierman,
Peter Sewell,
2007,
Journal of Functional Programming.
Gavin M. Bierman,
Mohamad Afshar,
J. Bates,
1997,
Proceedings of the 1997 International Symposium on Parallel Architectures, Algorithms and Networks (I-SPAN'97).
Juan Chen,
Pierre-Yves Strub,
Gavin M. Bierman,
2014,
POPL.
Valeria de Paiva,
Gavin M. Bierman,
Valeria C V de Paiva,
2000,
Stud Logica.
Gavin M. Bierman,
Christoph Koch,
2006,
SGMD.
Gavin M. Bierman,
Christoph Koch,
2008,
Inf. Syst..
Gavin M. Bierman,
Matthew J. Parkinson,
G. Bierman,
2005,
POPL '05.
Christian Urban,
Gavin M. Bierman,
G. Bierman,
1999,
Fundam. Informaticae.
Gavin M. Bierman,
1995,
TLCA.
Gavin M. Bierman,
Iulian Neamtiu,
Peter Sewell,
2007,
TOPL.
Gavin M. Bierman,
Stratis Viglas,
Fabian Nagel,
2014,
Proc. VLDB Endow..
Frank Tip,
Gavin M. Bierman,
James Noble,
2008,
OOPSLA Companion.
Nick Benton,
Valeria de Paiva,
Gavin M. Bierman,
1992,
CSL.
Nick Benton,
Valeria de Paiva,
Gavin M. Bierman,
1998,
Journal of Functional Programming.
Gavin M. Bierman,
Matthew J. Parkinson,
G. Bierman,
2008,
POPL '08.
Brian Beckman,
Gavin M. Bierman,
Erik Meijer,
2006,
SIGMOD Conference.
Gavin M. Bierman,
James Noble,
Matthew J. Parkinson,
2008,
ECOOP.
Gavin M. Bierman,
Nikhil Swamy,
Cédric Fournet,
2015,
POPL.
Martín Abadi,
Gavin M. Bierman,
Mads Torgersen,
2014,
ECOOP.
Gavin M. Bierman,
Matthew J. Parkinson,
2013,
Aliasing in Object-Oriented Programming.
Gavin M. Bierman,
Mads Torgersen,
Erik Meijer,
2010,
ECOOP.
Gavin M. Bierman,
Matthew J. Parkinson,
2003,
Electron. Notes Theor. Comput. Sci..
Gavin M. Bierman,
Stratis Viglas,
Fabian Nagel,
2017,
2017 IEEE 33rd International Conference on Data Engineering (ICDE).
Gavin M. Bierman,
Stratis Viglas,
Aleksandar Dragojevic,
2017,
EDBT.