Greg Morrisett
发表
G. Mainland,
Greg Morrisett,
Matt Welsh,
2020,
Encyclopedic Dictionary of Archaeology.
J. Gregory Morrisett,
Adam Petcher,
J. G. Morrisett,
2015,
2015 IEEE 28th Computer Security Foundations Symposium.
Ryan Wisnesky,
Greg Morrisett,
Ryan Wisnesky,
2014
.
J. Gregory Morrisett,
Gregory Malecha,
Ryan Wisnesky,
2010,
POPL '10.
Lars Birkedal,
J. Gregory Morrisett,
Aleksandar Nanevski,
2007,
ESOP.
Aleksandar Nanevski,
Greg Morrisett,
Aleksandar Nanevski,
2005
.
J. Gregory Morrisett,
Geoffrey Mainland,
G. Mainland,
2010,
Haskell '10.
Lars Birkedal,
J. Gregory Morrisett,
Aleksandar Nanevski,
2006,
ICFP '06.
J. Gregory Morrisett,
Adam Petcher,
G. Morrisett,
2014,
POST.
Benjamin C. Pierce,
Howard Reubenstein,
Andre DeHon,
2013,
2013 IEEE International Conference on Technologies for Homeland Security (HST).
Avraham Shinnar,
Greg Morrisett,
G. Morrisett,
2011
.
Stephen McCamant,
J. Gregory Morrisett,
Stephen McCamant,
2006,
USENIX Security Symposium.
Stephen McCamant,
Greg Morrisett,
Stephen McCamant,
2005
.
Stephen McCamant,
Greg Morrisett,
2005
.
J. Gregory Morrisett,
Gregory Malecha,
Ryan Wisnesky,
2011,
J. Symb. Comput..
Jonathan M. Smith,
Benjamin C. Pierce,
J. Gregory Morrisett,
2012,
2012 IEEE Sixth International Conference on Self-Adaptive and Self-Organizing Systems Workshops.
Benjamin C. Pierce,
J. Gregory Morrisett,
Catalin Hritcu,
2013,
2013 IEEE Symposium on Security and Privacy.
G. Mainland,
Greg Morrisett,
2010,
Haskell '10.