Travelled to:1 × Germany
2 × USA
Collaborated with:M.Wand D.P.Friedman M.Felleisen B.F.Duba
Talks about:macro (2) transform (1) syntact (1) continu (1) specif (1) reason (1) hygien (1) expans (1) exampl (1) deriv (1)
Person: Eugene E. Kohlbecker
DBLP: Kohlbecker:Eugene_E=
Contributed to:
1987
1986
1986Wrote 3 papers:
- POPL-1987-KohlbeckerW #metaprogramming #named #specification
- Macro-by-Example: Deriving Syntactic Transformations from their Specifications (EEK, MW), pp. 77–84.
- 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.