Bruce F. Duba

Publication Activity (10 Years)

Years Active: 1986-1999
Publications (10 Years): 0

Publications

Shriram Krishnamurthi, Matthias Felleisen, Bruce F. Duba
From Macros to Reusable Generative Programming. GCSE (1999)
Robert Harper, Bruce F. Duba, David B. MacQueen
Typing First-Class Continuations in ML. J. Funct. Program. 3 (4) (1993)
Cormac Flanagan, Amr Sabry, Bruce F. Duba, Matthias Felleisen
The essence of compiling with continuations (with retrospective) Best of PLDI (1993)
Cormac Flanagan, Amr Sabry, Bruce F. Duba, Matthias Felleisen
The Essence of Compiling with Continuations. PLDI (1993)
John Gateley, Bruce F. Duba
Call-by-Value Combinatory Logic and the Lambda-Value Calculus. MFPS (1991)
Bruce F. Duba, Robert Harper, David B. MacQueen
Typing First-Class Continuations in ML. POPL (1991)
Matthias Felleisen, Mitchell Wand, Daniel P. Friedman, Bruce F. Duba
Abstract Continuations: A Mathematical Semantics for Handling Full Jumps. LISP and Functional Programming (1988)
Matthias Felleisen, Daniel P. Friedman, Eugene E. Kohlbecker, Bruce F. Duba
A Syntactic Theory of Sequential Control. Theor. Comput. Sci. 52 (1987)
Matthias Felleisen, Daniel P. Friedman, Eugene E. Kohlbecker, Bruce F. Duba
Reasoning with Continuations LICS (1986)
Eugene E. Kohlbecker, Daniel P. Friedman, Matthias Felleisen, Bruce F. Duba
Hygienic Macro Expansion. LISP and Functional Programming (1986)