Greg Morrisett
发表
Benjamin C. Pierce,
Ben Karel,
Michael Greenberg,
2012
.
Geoffrey Mainland,
Greg Morrisett,
2011
.
Matt Welsh,
Geoffrey Mainland,
Greg Morrisett,
2008,
ICFP 2008.
Benjamin C. Pierce,
Howard Reubenstein,
Andre DeHon,
2013,
2013 IEEE International Conference on Technologies for Homeland Security (HST).
Lewis Girod,
Ryan R. Newton,
Greg Morrisett,
2008
.
Karl Crary,
Neal Glew,
David Walker,
1999
.
Lars Birkedal,
Aleksandar Nanevski,
Avraham Shinnar,
2008,
ICFP 2008.
Geoffrey Mainland,
Greg Morrisett,
2010
.