 | 2009 |
|---|
| 7 |       | Jacob Matthews,
Robert Bruce Findler:
Operational semantics for multi-language programs.
ACM Trans. Program. Lang. Syst. 31(3): (2009) |
| 2008 |
|---|
| 6 | | Jacob Matthews,
Amal Ahmed:
Parametric Polymorphism through Run-Time Sealing or, Theorems for Low, Low Prices!.
ESOP 2008: 16-31 |
| 5 | | Jacob Matthews,
Robert Bruce Findler:
An operational semantics for Scheme.
J. Funct. Program. 18(1): 47-86 (2008) |
| 2007 |
|---|
| 4 | | Arjun Guha,
Jacob Matthews,
Robert Bruce Findler,
Shriram Krishnamurthi:
Relationally-parametric polymorphic contracts.
DLS 2007: 29-40 |
| 3 | | Jacob Matthews,
Robert Bruce Findler:
Operational semantics for multi-language programs.
POPL 2007: 3-10 |
| 2004 |
|---|
| 2 | | Jacob Matthews,
Robert Bruce Findler,
Matthew Flatt,
Matthias Felleisen:
A Visual Environment for Developing Context-Sensitive Term Rewriting Systems.
RTA 2004: 301-311 |
| 1 | | Jacob Matthews,
Robert Bruce Findler,
Paul T. Graunke,
Shriram Krishnamurthi,
Matthias Felleisen:
Automatically Restructuring Programs for the Web.
Autom. Softw. Eng. 11(4): 337-364 (2004) |
