Jason Reed
发表
Jason Reed,
2007,
Electron. Notes Theor. Comput. Sci..
Frank Pfenning,
Jason Reed,
2009
.
Frank Pfenning,
Jason Reed,
F. Pfenning,
2009
.
Jason Reed,
Michael A. Teitell,
Diane N. H. Kim,
2016
.
Frank Pfenning,
Jason Reed,
2010
.
Andreas Haeberlen,
Adam J. Aviv,
Jonathan M. Smith,
2010,
EUROSEC '10.
Benjamin C. Pierce,
Jason Reed,
B. Pierce,
2010,
ICFP '10.
Jason Reed,
J. Reed,
2009,
LFMTP '09.
Jason Reed,
J. Reed,
2003,
TPHOLs.
Jason Reed,
2008,
Electron. Notes Theor. Comput. Sci..
Frank Pfenning,
Jason Reed,
2009,
Electron. Notes Theor. Comput. Sci..
Benjamin C. Pierce,
Jason Reed,
B. Pierce,
2010,
ACM SIGPLAN International Conference on Functional Programming.
Jason Reed,
2009
.
Jason Reed,
J. Reed,
2002
.