Travelled to:
1 × Germany
5 × USA
Collaborated with:
M.Felleisen D.P.Friedman C.Flanagan A.Sabry E.E.Kohlbecker S.Krishnamurthi R.Harper D.B.MacQueen M.Wand
Talks about:
continu (5) essenc (2) compil (2) macro (2) retrospect (1) mathemat (1) abstract (1) reusabl (1) program (1) generat (1)
Person: Bruce F. Duba
DBLP: Duba:Bruce_F=
Contributed to:
Wrote 7 papers:
- GCSE-1999-KrishnamurthiFD #generative #metaprogramming #reuse
- From Macros to Reusable Generative Programming (SK, MF, BFD), pp. 105–120.
- Best-of-PLDI-1993-FlanaganSDF93a #compilation #continuation
- The essence of compiling with continuations (with retrospective) (CF, AS, BFD, MF), pp. 502–514.
- PLDI-1993-FlanaganSDF #compilation #continuation
- The Essence of Compiling with Continuations (CF, AS, BFD, MF), pp. 237–247.
- POPL-1991-DubaHM #continuation #ml #type system
- Typing First-Class Continuations in ML (BFD, RH, DBM), pp. 163–173.
- LFP-1988-FelleisenWFD #continuation #semantics
- Abstract Continuations: A Mathematical Semantics for Handling Full Jumps (MF, MW, DPF, BFD), pp. 52–62.
- LFP-1986-KohlbeckerFFD #metaprogramming
- Hygienic Macro Expansion (EEK, DPF, MF, BFD), pp. 151–161.
- LICS-1986-FelleisenFKD #continuation #reasoning
- Reasoning with Continuations (MF, DPF, EEK, BFD), pp. 131–141.