Robert Harper
发表
Richard Statman,
Roberto Virga,
Peter Andrews,
1999
.
Robert Harper,
R. Harper,
1983,
Microprocess. Microsystems.
Robert Harper,
William Wright,
Thomas Kapler,
2008,
2008 IEEE Symposium on Visual Analytics Science and Technology.
Robert Harper,
Jonathan Sterling,
2020,
ArXiv.
Andrej Bauer,
Robert Harper,
Thierry Coquand,
2013,
ArXiv.
Robert Harper,
Matthias Felleisen,
Frank Pfenning,
2002
.
Robert Harper,
Anna Joseph,
1997
.
Robert Harper,
William Wright,
Thomas Kapler,
2005
.
Robert Harper,
William Duff,
2015
.
Robert Harper,
William Wright,
Thomas Kapler,
2007,
2007 IEEE Symposium on Visual Analytics Science and Technology.
Robert Harper,
Benjamin C. Pierce,
B. Pierce,
2000,
ICFP.
Robert Harper,
William Wright,
Thomas Kapler,
2007,
IEEE Computer Graphics and Applications.
Robert Harper,
1996,
Inf. Process. Lett..
Guy E. Blelloch,
Robert Harper,
Umut A. Acar,
2006
.
Robert Harper,
Perry Cheng,
Karl Crary,
1998
.
Robert Harper,
R. Harper,
2012
.
Lee,
Robert Harper,
Eric C. Cooper,
1991
.
Robert Harper,
1986
.
Guy E. Blelloch,
Robert Harper,
Umut A. Acar,
2009
.
Robert Harper,
William Wright,
Thomas Kapler,
2008,
Inf. Vis..
Robert Harper,
Benjamin C. Pierce,
B. Pierce,
1990
.
Robert Harper,
William Wright,
David Schroh,
2006,
2006 IEEE Symposium On Visual Analytics Science And Technology.
Robert Harper,
Yue Niu,
R. Harper,
2020,
ArXiv.
Robert Harper,
1992,
SIGB.
Robert Harper,
Jordan Garcia,
Coilin Bradley,
2020
.
Robert Harper,
Chris Stone,
1996
.
Robert Harper,
John H. Reppy,
John Reppy,
2020,
Proc. ACM Program. Lang..
Robert Harper,
Edoardo Biagioni,
Brian G. Milnes,
1993
.
Robert Harper,
2001,
Lecture Notes in Computer Science.
Robert Harper,
Philip Tee,
R. Harper,
2020,
Applied Network Science.
Robert Harper,
William Wright,
Thomas Kapler,
2007
.