Travelled to:
1 × United Kingdom
5 × USA
Collaborated with:
D.P.Friedman V.Choppella H.Dzeng ∅ R.K.Dybvig M.Wand
Talks about:
continu (2) reconstruct (1) constrain (1) procedur (1) coroutin (1) abstract (1) variabl (1) process (1) convent (1) control (1)
Person: Christopher T. Haynes
DBLP: Haynes:Christopher_T=
Contributed to:
Wrote 7 papers:
- CADE-2003-ChoppellaH #unification
- Source-Tracking Unification (VC, CTH), pp. 458–472.
- LFP-1994-DzengH #re-engineering
- Type Reconstruction for Variable-Arity Procedures (HD, CTH), pp. 239–249.
- ICLP-1986-Haynes86 #continuation #logic
- Logic Continuations (CTH), pp. 671–685.
- LFP-1986-DybvigFH #metaprogramming
- Expansion-Passing Style: Beyond Conventional Macros (RKD, DPF, CTH), pp. 143–150.
- POPL-1985-FriedmanH
- Constraining Control (DPF, CTH), pp. 245–254.
- LFP-1984-HaynesF #abstraction #process
- Engines Build Process Abstractions (CTH, DPF), pp. 18–24.
- LFP-1984-HaynesFW #continuation
- Continuations and Coroutines (CTH, DPF, MW), pp. 293–298.