| 2005 |
|---|
| 6 | EE | Greg Pettyjohn,
John Clements,
Joe Marshall,
Shriram Krishnamurthi,
Matthias Felleisen:
Continuations from generalized stack inspection.
ICFP 2005: 216-227 |
| 2004 |
|---|
| 5 | EE | John Clements,
Matthias Felleisen:
A tail-recursive machine with stack inspection.
ACM Trans. Program. Lang. Syst. 26(6): 1029-1052 (2004) |
| 2003 |
|---|
| 4 | EE | John Clements,
Matthias Felleisen:
A Tail-Recursive Semantics for Stack Inspections.
ESOP 2003: 22-37 |
| 2002 |
|---|
| 3 | | Robert Bruce Findler,
John Clements,
Cormac Flanagan,
Matthew Flatt,
Shriram Krishnamurthi,
Paul Steckler,
Matthias Felleisen:
DrScheme: a programming environment for Scheme.
J. Funct. Program. 12(2): 159-182 (2002) |
| 2001 |
|---|
| 2 | EE | John Clements,
Matthew Flatt,
Matthias Felleisen:
Modeling an Algebraic Stepper.
ESOP 2001: 320-334 |
| 1 | EE | Algis Rudys,
John Clements,
Dan S. Wallach:
Termination in Language-based Systems.
NDSS 2001 |
