| 2008 |
|---|
| 4 | EE | Jacob Matthews,
Amal Ahmed:
Parametric Polymorphism through Run-Time Sealing or, Theorems for Low, Low Prices!.
ESOP 2008: 16-31 |
| 2007 |
|---|
| 3 | EE | Jacob Matthews,
Robert Bruce Findler:
Operational semantics for multi-language programs.
POPL 2007: 3-10 |
| 2004 |
|---|
| 2 | EE | Jacob Matthews,
Robert Bruce Findler,
Matthew Flatt,
Matthias Felleisen:
A Visual Environment for Developing Context-Sensitive Term Rewriting Systems.
RTA 2004: 301-311 |
| 1 | EE | 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) |
