J. Reed
发表
J. Reed,
2007
.
J. Reed,
2007
.
Jason Reed,
J. Reed,
2002
.
F. Pfenning,
J. Reed,
W. Chargin,
2018
.
Benjamin C. Pierce,
Jason Reed,
B. Pierce,
2010,
ICFP '10.
Andreas Haeberlen,
Adam J. Aviv,
Jonathan M. Smith,
2010,
EUROSEC '10.
Alan J. Hu,
Temesghen Kahsai,
John D. Backes,
2019,
CAV.
J. Reed,
F. Hutchinson,
1987,
Molecular and General Genetics MGG.
Benjamin C. Pierce,
Jason Reed,
B. Pierce,
2010,
ACM SIGPLAN International Conference on Functional Programming.
Jason Reed,
J. Reed,
2003,
TPHOLs.
Jason Reed,
J. Reed,
2009,
LFMTP '09.
Frank Pfenning,
Jason Reed,
F. Pfenning,
2009
.