( en | de | ru )

 

Disambiguation of "Haynes, Christopher T."

Author of the publication

copydeleteadd this publication to your clipboard
Revised Report on the Algorithmic Language Scheme.

, , , , , , , , , , , , , , , and . High. Order Symb. Comput., 11 (1): 7-105 (1998)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed. You can also use the button next to the name to display some publications already assigned to the person.

Kaylea Haynes

Christopher T F Kühl

Christopher Christopher

John-Dylan Haynes

John - Dylan Haynes

 

Other publications of authors with the same name

A Theory of Data Type Representation Independence.. Semantics of Data Types, volume 173 of Lecture Notes in Computer Science, page 157-175. Springer, (1984)Logic Continuations.. ICLP, volume 225 of Lecture Notes in Computer Science, page 671-685. Springer, (1986)Revised Report on the Algorithmic Language Scheme., , , , , , , , , and 6 other author(s). High. Order Symb. Comput., 11 (1): 7-105 (1998)Source-tracking unification., and . Inf. Comput., 201 (2): 121-159 (2005)The Role of Consensus., , and . Commun. ACM, 37 (4): 15-16 (1994)Logic Continuations.. J. Log. Program., 4 (2): 157-176 (1987)Source-Tracking Unification., and . CADE, volume 2741 of Lecture Notes in Computer Science, page 458-472. Springer, (2003)Essentials of programming languages (2. ed.)., , and . MIT Press, (2001)Abstracting Timed Preemption with Engines., and . Comput. Lang., 12 (2): 109-121 (1987)Engines Build Process Abstractions., and . LISP and Functional Programming, page 18-24. ACM, (1984)