Neal Glew
发表
Jens Palsberg,
Neal Glew,
2002,
ECOOP.
Martín Abadi,
Neal Glew,
M. Abadi,
2002,
WWW.
Neal Glew,
Neal Glew,
2000
.
Neal Glew,
1999,
Electron. Notes Theor. Comput. Sci..
Wei Liu,
Peng Guo,
Dan Zhang,
2007,
LCPC.
Brian T. Lewis,
Neal Glew,
James M. Stichnoth,
2005,
Concurr. Pract. Exp..
Karl Crary,
J. Gregory Morrisett,
Neal Glew,
1999,
TOPL.
Dominic A. Orchard,
Neal Glew,
Leaf Petersen,
2013,
ICFP.
Jens Palsberg,
Neal Glew,
2005,
J. Object Technol..
Brian T. Lewis,
Neal Glew,
James M. Stichnoth,
2005
.
Neal Glew,
Neal Glew,
2002,
ESOP.
Hai Liu,
Todd A. Anderson,
Neal Glew,
2013,
IFL '13.
Neal Glew,
Leaf Petersen,
2012,
ArXiv.
Brian T. Lewis,
Neal Glew,
James M. Stichnoth,
2004,
Virtual Machine Research and Technology Symposium.
Neal Glew,
Neal Glew,
2000,
OOPSLA '00.
Hai Liu,
Rajkishore Barik,
Todd A. Anderson,
2014,
FHPC '14.
Neal Glew,
Leaf Petersen,
2012
.
Karl Crary,
Neal Glew,
David Walker,
1999
.
Andrew McCreight,
Tatiana Shpeisman,
Ali-Reza Adl-Tabatabai,
2006,
POPL '06.
Jens Palsberg,
Christian Grothoff,
Neal Glew,
2005,
SAS.
David Walker,
Karl Crary,
Neal Glew,
1997
.
Neal Glew,
Leaf Petersen,
Tim Sweeney,
2013,
ArXiv.
Neal Glew,
Leaf Petersen,
2010,
CUFP '10.
Dan Grossman,
David Walker,
Stephanie Weirich,
1999
.
David Walker,
Karl Crary,
J. Gregory Morrisett,
1998,
Journal of Functional Programming.
Neal Glew,
Laurence E. Day,
R. Barik,
2014
.
Jens Palsberg,
Neal Glew,
2004,
Sci. Comput. Program..
J. Gregory Morrisett,
Neal Glew,
J. G. Morrisett,
1999,
POPL '99.
Vijay Menon,
Brian T. Lewis,
Todd A. Anderson,
2004,
J. Object Technol..
Hai Liu,
Todd A. Anderson,
Neal Glew,
2013,
Haskell '13.
Neal Glew,
1999,
ICFP '99.
Neal Glew,
2012,
Logic and Program Semantics.
David Walker,
Karl Crary,
Neal Glew,
2002,
J. Funct. Program..
Guy E. Blelloch,
Neal Glew,
2007,
DAMP.
Neal Glew,
Leaf Petersen,
2012,
CC.
Guy E. Blelloch,
Neal Glew,
2007,
POPL 2007.
Brian T. Lewis,
Neal Glew,
James M. Stichnoth,
2003
.
David Walker,
Karl Crary,
J. Gregory Morrisett,
2003,
Journal of Functional Programming.
David Walker,
Limin Jia,
Neal Glew,
2005,
20th Annual IEEE Symposium on Logic in Computer Science (LICS' 05).
Neal Glew,
Leaf Petersen,
Tim Sweeney,
2013,
DTP '13.