Bruce F. Duba

According to our database, Bruce F. Duba authored at least 9 papers between 1986 and 1999.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

1999

From Macros to Reusable Generative Programming.

Shriram Krishnamurthi, Matthias Felleisen, Bruce F. Duba

Proceedings of the Generative and Component-Based Software Engineering, 1999

1993

Typing First-Class Continuations in ML.

Robert Harper, Bruce F. Duba, David B. MacQueen

J. Funct. Program., 1993

The essence of compiling with continuations (with retrospective)

Cormac Flanagan, Amr Sabry, Bruce F. Duba, Matthias Felleisen

Proceedings of the 20 Years of the ACM SIGPLAN Conference on Programming Language Design and Implementation 1979-1999, 1993

The Essence of Compiling with Continuations.

Cormac Flanagan, Amr Sabry, Bruce F. Duba, Matthias Felleisen

Proceedings of the ACM SIGPLAN'93 Conference on Programming Language Design and Implementation (PLDI), 1993

1991

Call-by-Value Combinatory Logic and the Lambda-Value Calculus.

John Gateley, Bruce F. Duba

Proceedings of the Mathematical Foundations of Programming Semantics, 1991

1988

Abstract Continuations: A Mathematical Semantics for Handling Full Jumps.

Matthias Felleisen, Mitchell Wand, Daniel P. Friedman, Bruce F. Duba

Proceedings of the 1988 ACM Conference on LISP and Functional Programming, 1988

1987

A Syntactic Theory of Sequential Control.

Matthias Felleisen, Daniel P. Friedman, Eugene E. Kohlbecker, Bruce F. Duba

Theor. Comput. Sci., 1987

1986

Reasoning with Continuations

Matthias Felleisen, Daniel P. Friedman, Eugene E. Kohlbecker, Bruce F. Duba

Proceedings of the Symposium on Logic in Computer Science (LICS '86), 1986

Hygienic Macro Expansion.

Eugene E. Kohlbecker, Daniel P. Friedman, Matthias Felleisen, Bruce F. Duba

Proceedings of the 1986 ACM Conference on LISP and Functional Programming, 1986