Jacob Matthews
发表
Matthias Felleisen,
Robert Bruce Findler,
Matthew Flatt,
2004,
RTA.
Matthias Felleisen,
Robert Bruce Findler,
Shriram Krishnamurthi,
2004
.
Matthias Felleisen,
Robert Bruce Findler,
Shriram Krishnamurthi,
2004,
Automated Software Engineering.
Philip Wadler,
Robert Bruce Findler,
Amal Ahmed,
2009,
ECOOP 2009.
Robert Bruce Findler,
Shriram Krishnamurthi,
Arjun Guha,
2007,
DLS '07.
Robert Bruce Findler,
Jacob Matthews,
Jacob Matthews,
2005
.
Amal Ahmed,
Jacob Matthews,
2008,
ESOP.
Robert Bruce Findler,
Jacob Matthews,
Jacob Matthews,
2007,
POPL '07.
Under Consideration for Publication in J. Functional Programming an Operational Semantics for Scheme
Robert Bruce Findler,
Jacob Matthews,
Jacob Matthews,
2022
.
Robert Bruce Findler,
Jacob Matthews,
2008
.
Robert Bruce Findler,
Jacob Matthews,
2009
.
Robert Bruce Findler,
Jacob Matthews,
2005
.
Robert Bruce Findler,
Jacob Matthews,
2007,
POPL.