Christopher T. Haynes
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
5
Venues
4
Active years
1985–2003
Best venue rank
A*
Where they publish
Papers
5 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2003 | CADE | Source-Tracking Unification. | Venkatesh Choppella, Christopher T. Haynes |
| 1998 | SIGCSE | Experience with an analytic approach to teaching programming languages. | Christopher T. Haynes |
| 1997 | SIGCSE | Compiling: a high-level introduction using Scheme. | Christopher T. Haynes |
| 1986 | ICLP | Logic Continuations. | Christopher T. Haynes |
| 1985 | POPL | Constraining Control. | Daniel P. Friedman, Christopher T. Haynes |