J. G. Morrisett
发表
David Walker,
Karl Crary,
J. Gregory Morrisett,
1999,
POPL '99.
David Walker,
J. Gregory Morrisett,
Frederick Smith,
2000,
ESOP.
S. Zdancewic,
J. G. Morrisett,
D. Grossman,
1999,
ICFP.
J. Gregory Morrisett,
Gregory Malecha,
Ryan Wisnesky,
2011,
J. Symb. Comput..
Jonathan M. Smith,
Benjamin C. Pierce,
J. Gregory Morrisett,
2011,
PLOS '11.
J. Gregory Morrisett,
Andrew P. Tolmach,
J. G. Morrisett,
1993,
PPOPP '93.
James Cheney,
Dan Grossman,
Trevor Jim,
2002,
USENIX Annual Technical Conference, General Track.
G. Morrisett,
Nate Foster,
J. G. Morrisett,
2022,
PLDI.
Ryan Newton,
Matt Welsh,
J. Gregory Morrisett,
2007,
2007 6th International Symposium on Information Processing in Sensor Networks.
David Walker,
Karl Crary,
J. Gregory Morrisett,
2003,
Journal of Functional Programming.
J. G. Morrisett,
Aleksandar Nanevski,
L. Birkedal,
2008,
ICFP.
Shwetak N. Patel,
Jennifer Rexford,
J. Gregory Morrisett,
2019,
ArXiv.
J. Gregory Morrisett,
Adam Petcher,
J. G. Morrisett,
2015,
2015 IEEE 28th Computer Security Foundations Symposium.
Robert Harper,
J. Gregory Morrisett,
R. Harper,
1995,
POPL '95.
John Gregory Morrisett,
Paul Govereau,
J. G. Morrisett,
2012
.
Thorsten von Eicken,
J. Gregory Morrisett,
Anindya Basu,
1998,
Proceedings. IEEE INFOCOM '98, the Conference on Computer Communications. Seventeenth Annual Joint Conference of the IEEE Computer and Communications Societies. Gateway to the 21st Century (Cat. No.98.
Martin A. Nowak,
David G. Rand,
Hanspeter Pfister,
2013,
2013 IEEE 27th International Symposium on Parallel and Distributed Processing.
J. Gregory Morrisett,
Gang Tan,
Bin Zeng,
2011,
CCS '11.
Dan Grossman,
Trevor Jim,
J. Gregory Morrisett,
2003,
Journal of Functional Programming.
Dan Grossman,
J. Gregory Morrisett,
J. G. Morrisett,
2000,
Types in Compilation.
Gregory D. Hager,
Shwetak N. Patel,
Klara Nahrstedt,
2017,
ArXiv.
James Cheney,
Dan Grossman,
Trevor Jim,
2002,
PLDI '02.
Stephen McCamant,
J. Gregory Morrisett,
Stephen McCamant,
2006,
USENIX Security Symposium.
Karl Crary,
J. Gregory Morrisett,
Neal Glew,
1999,
TOPL.
Kevin W. Hamlen,
Fred B. Schneider,
J. Gregory Morrisett,
2006,
TOPL.
Joseph Tassarotti,
J. Gregory Morrisett,
Jean-Baptiste Tristan,
2012,
PLDI.
Matthias Felleisen,
Robert Harper,
J. Gregory Morrisett,
1995,
FPCA '95.
Peter Lee,
Perry Cheng,
Robert Harper,
2004,
SIGP.
J. Gregory Morrisett,
Jesse A. Tov,
Edward Gan,
2015,
LINEARITY.
Dan Grossman,
J. Gregory Morrisett,
Steve Zdancewic,
2000,
TOPL.
J. Gregory Morrisett,
Matthew Fluet,
Amal Ahmed,
2006,
ESOP.
J. Gregory Morrisett,
Adam Petcher,
G. Morrisett,
2014,
POST.
J. Gregory Morrisett,
Matthew Fluet,
Amal Ahmed,
2007,
Fundam. Informaticae.
Lars Birkedal,
J. Gregory Morrisett,
Aleksandar Nanevski,
2008,
Journal of Functional Programming.
Bas Spitters,
J. Gregory Morrisett,
Daniel Huang,
2018,
ArXiv.
J. Gregory Morrisett,
Aleksandar Nanevski,
Paul Govereau,
2009,
TLDI '09.
Fred B. Schneider,
Robert Harper,
J. Gregory Morrisett,
2001,
Informatics.
J. Gregory Morrisett,
Gang Tan,
J. G. Morrisett,
2007,
OOPSLA.
M. Welsh,
R. Newton,
G. Morrisett,
2007,
2007 6th International Symposium on Information Processing in Sensor Networks.
J. Gregory Morrisett,
Gregory Malecha,
Ryan Wisnesky,
2010,
POPL '10.
David Walker,
Karl Crary,
J. Gregory Morrisett,
1998,
Journal of Functional Programming.
J. Gregory Morrisett,
Jean-Baptiste Tristan,
Daniel Huang,
2017,
PLDI.
J. Gregory Morrisett,
Neal Glew,
J. G. Morrisett,
1999,
POPL '99.
Matt Welsh,
J. Gregory Morrisett,
Geoffrey Mainland,
2008,
ICFP.
J. Gregory Morrisett,
Gang Tan,
Bin Zeng,
2013,
TSEC.
David Walker,
J. Gregory Morrisett,
D. Walker,
2000,
Types in Compilation.
J. Gregory Morrisett,
Eric C. Cooper,
Eric C. Cooper,
1990
.
Jonathan M. Smith,
Benjamin C. Pierce,
J. Gregory Morrisett,
2012,
2012 IEEE Sixth International Conference on Self-Adaptive and Self-Organizing Systems Workshops.
Kevin W. Hamlen,
Fred B. Schneider,
J. Gregory Morrisett,
2006,
PLAS '06.