T. Jim
发表
T. Jim,
1995
.
T. Jim,
Jens Palsbergy,
1997
.
James Cheney,
Dan Grossman,
Michael Hicks,
2001
.
G. Morrisett,
T. Jim,
D. Grossman,
2004
.
James Cheney,
Dan Grossman,
Trevor Jim,
2002,
USENIX Annual Technical Conference, General Track.
Carl A. Gunter,
T. Jim,
Bow-Yaw Wang,
1997
.
Carl A. Gunter,
T. Jim,
1999
.
R. Jana,
T. Jim,
M. Hiltunen,
2003
.
A. Meyer,
T. Jim,
1991
.
A. Meyer,
B. Bloom,
T. Jim,
1989
.
James Cheney,
Yanling Wang,
Michael Hicks,
2002
.
Trevor Jim,
T. Jim,
2000,
ICALP Satellite Workshops.
Rittwik Jana,
Matti A. Hiltunen,
Trevor Jim,
2005,
EuroIMSA.
Yevgeniy Vahlis,
Trevor Jim,
Juan A. Garay,
2014,
SCN.
Dan Grossman,
Trevor Jim,
J. Gregory Morrisett,
2003,
Journal of Functional Programming.
Dan Suciu,
Trevor Jim,
Dan Suciu,
2001,
PODS.
James Cheney,
Dan Grossman,
Trevor Jim,
2002,
PLDI '02.
Matti A. Hiltunen,
Richard D. Schlichting,
Trevor Jim,
2006,
IEEE Transactions on Dependable and Secure Computing.
Trevor Jim,
T. Jim,
1996
.
Matti A. Hiltunen,
Richard D. Schlichting,
Trevor Jim,
2005,
2005 International Conference on Dependable Systems and Networks (DSN'05).
Trevor Jim,
T. Jim,
2001,
Proceedings 2001 IEEE Symposium on Security and Privacy. S&P 2001.
Trevor Jim,
Nicola Onose,
Jérôme Siméon,
2007,
XIME-P '07.
Andrew W. Appel,
Trevor Jim,
A. Appel,
1989,
POPL '89.
J. Palsberg,
T. Jim,
Jim,
1997
.
Trevor Jim,
Luke Hornof,
T. Jim,
1999,
High. Order Symb. Comput..
Dan Grossman,
Trevor Jim,
Greg Morrisett,
2000
.
Trevor Jim,
Nicola Onose,
Jérôme Siméon,
2007,
SIGMOD '07.
Jens Palsberg,
Tian Zhao,
Trevor Jim,
2005,
TOPL.
Dan Grossman,
Nikhil Swamy,
Trevor Jim,
2006,
Sci. Comput. Program..
Dan Grossman,
Trevor Jim,
J. Gregory Morrisett,
2004,
ISMM '04.
Trevor Jim,
Christof Fetzer,
Gert Pfeifer,
2005
.
Dan Grossman,
Trevor Jim,
Greg Morrisett,
2000
.