Bruce F. Duba
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
5
Venues
4
Active years
1986–1993
Best venue rank
A*
Where they publish
Papers
5 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 1993 | PLDI | The Essence of Compiling with Continuations. | Cormac Flanagan, Amr Sabry, Bruce F. Duba, Matthias Felleisen |
| 1993 | PLDI | The essence of compiling with continuations (with retrospective) | Cormac Flanagan, Amr Sabry, Bruce F. Duba, Matthias Felleisen |
| 1991 | MFPS | Call-by-Value Combinatory Logic and the Lambda-Value Calculus. | John Gateley, Bruce F. Duba |
| 1991 | POPL | Typing First-Class Continuations in ML. | Bruce F. Duba, Robert Harper, David B. MacQueen |
| 1986 | LICS | Reasoning with Continuations | Matthias Felleisen, Daniel P. Friedman, Eugene E. Kohlbecker, Bruce F. Duba |