 | 1999 |
|---|
| 10 |       | Shriram Krishnamurthi,
Matthias Felleisen,
Bruce F. Duba:
From Macros to Reusable Generative Programming.
GCSE 1999: 105-120 |
| 1993 |
|---|
| 9 | | Cormac Flanagan,
Amr Sabry,
Bruce F. Duba,
Matthias Felleisen:
The essence of compiling with continuations (with retrospective)
Best of PLDI 1993: 502-514 |
| 8 |  | Cormac Flanagan,
Amr Sabry,
Bruce F. Duba,
Matthias Felleisen:
The Essence of Compiling with Continuations.
PLDI 1993: 237-247 |
| 7 | | Robert Harper,
Bruce F. Duba,
David B. MacQueen:
Typing First-Class Continuations in ML.
J. Funct. Program. 3(4): 465-484 (1993) |
| 1991 |
|---|
| 6 | | John Gateley,
Bruce F. Duba:
Call-by-Value Combinatory Logic and the Lambda-Value Calculus.
MFPS 1991: 41-53 |
| 5 | | Bruce F. Duba,
Robert Harper,
David B. MacQueen:
Typing First-Class Continuations in ML.
POPL 1991: 163-173 |
| 1988 |
|---|
| 4 | | Matthias Felleisen,
Mitchell Wand,
Daniel P. Friedman,
Bruce F. Duba:
Abstract Continuations: A Mathematical Semantics for Handling Full Jumps.
LISP and Functional Programming 1988: 52-62 |
| 1987 |
|---|
| 3 | | Matthias Felleisen,
Daniel P. Friedman,
Eugene E. Kohlbecker,
Bruce F. Duba:
A Syntactic Theory of Sequential Control.
Theor. Comput. Sci. 52: 205-237 (1987) |
| 1986 |
|---|
| 2 | | Matthias Felleisen,
Daniel P. Friedman,
Eugene E. Kohlbecker,
Bruce F. Duba:
Reasoning with Continuations
LICS 1986: 131-141 |
| 1 | | Eugene E. Kohlbecker,
Daniel P. Friedman,
Matthias Felleisen,
Bruce F. Duba:
Hygienic Macro Expansion.
LISP and Functional Programming 1986: 151-161 |
