The SCEAS System
Navigation Menu

Search the dblp DataBase

Title:
Author:

Christopher T. Haynes: [Publications] [Author Rank by year] [Co-authors] [Prefers] [Cites] [Cited by]

Publications of Author

  1. Christopher T. Haynes
    Logic Continuations. [Citation Graph (1, 0)][DBLP]
    J. Log. Program., 1987, v:4, n:2, pp:157-176 [Journal]
  2. Venkatesh Choppella, Christopher T. Haynes
    Source-Tracking Unification. [Citation Graph (0, 0)][DBLP]
    CADE, 2003, pp:458-472 [Conf]
  3. Christopher T. Haynes
    Logic Continuations. [Citation Graph (0, 0)][DBLP]
    ICLP, 1986, pp:671-685 [Conf]
  4. Christopher T. Haynes, Daniel P. Friedman
    Engines Build Process Abstractions. [Citation Graph (0, 0)][DBLP]
    LISP and Functional Programming, 1984, pp:18-24 [Conf]
  5. Christopher T. Haynes, Daniel P. Friedman, Mitchell Wand
    Continuations and Coroutines. [Citation Graph (0, 0)][DBLP]
    LISP and Functional Programming, 1984, pp:293-298 [Conf]
  6. R. Kent Dybvig, Daniel P. Friedman, Christopher T. Haynes
    Expansion-Passing Style: Beyond Conventional Macros. [Citation Graph (0, 0)][DBLP]
    LISP and Functional Programming, 1986, pp:143-150 [Conf]
  7. Hsianlin Dzeng, Christopher T. Haynes
    Type Reconstruction for Variable-Arity Procedures. [Citation Graph (0, 0)][DBLP]
    LISP and Functional Programming, 1994, pp:239-249 [Conf]
  8. Daniel P. Friedman, Christopher T. Haynes
    Constraining Control. [Citation Graph (0, 0)][DBLP]
    POPL, 1985, pp:245-254 [Conf]
  9. Christopher T. Haynes
    A Theory of Data Type Representation Independence. [Citation Graph (0, 0)][DBLP]
    Semantics of Data Types, 1984, pp:157-175 [Conf]
  10. Christopher T. Haynes
    Compiling: a high-level introduction using Scheme. [Citation Graph (0, 0)][DBLP]
    SIGCSE, 1997, pp:253-257 [Conf]
  11. Christopher T. Haynes
    Experience with an analytic approach to teaching programming languages. [Citation Graph (0, 0)][DBLP]
    SIGCSE, 1998, pp:350-354 [Conf]
  12. Roy Rada, George S. Carson, Christopher T. Haynes
    The Role of Consensus. [Citation Graph (0, 0)][DBLP]
    Commun. ACM, 1994, v:37, n:4, pp:15-16 [Journal]
  13. Christopher T. Haynes, Daniel P. Friedman
    Abstracting Timed Preemption with Engines. [Citation Graph (0, 0)][DBLP]
    Comput. Lang., 1987, v:12, n:2, pp:109-121 [Journal]
  14. Christopher T. Haynes, Daniel P. Friedman, Mitchell Wand
    Obtaining Coroutines with Continuations. [Citation Graph (0, 0)][DBLP]
    Comput. Lang., 1986, v:11, n:3/4, pp:143-153 [Journal]
  15. Venkatesh Choppella, Christopher T. Haynes
    Source-tracking unification. [Citation Graph (0, 0)][DBLP]
    Inf. Comput., 2005, v:201, n:2, pp:121-159 [Journal]
  16. Harold Abelson, R. Kent Dybvig, Christopher T. Haynes, Guillermo Juan Rozas, N. I. Adams IV, Daniel P. Friedman, Eugene E. Kohlbecker, Guy L. Steele Jr., David H. Bartley, Robert H. Halstead Jr., Don Oxley, Gerald J. Sussman, G. Brooks, Chris Hanson, Kent M. Pitman, Mitchell Wand
    Revised Report on the Algorithmic Language Scheme. [Citation Graph (0, 0)][DBLP]
    Higher-Order and Symbolic Computation, 1998, v:11, n:1, pp:7-105 [Journal]
  17. R. Kent Dybvig, Daniel P. Friedman, Christopher T. Haynes
    Expansion-Passing Style: A General Macro Mechanism. [Citation Graph (0, 0)][DBLP]
    Lisp and Symbolic Computation, 1988, v:1, n:1, pp:53-75 [Journal]
  18. Christopher T. Haynes, Daniel P. Friedman
    Embedding Continuations in Procedural Objects. [Citation Graph (0, 0)][DBLP]
    ACM Trans. Program. Lang. Syst., 1987, v:9, n:4, pp:582-598 [Journal]

Search in 0.169secs, Finished in 0.170secs
NOTICE1
System may not be available sometimes or not working properly, since it is still in development with continuous upgrades
NOTICE2
The rankings that are presented on this page should NOT be considered as formal since the citation info is incomplete in DBLP
 
System created by asidirop@csd.auth.gr [http://users.auth.gr/~asidirop/] © 2002
for Data Engineering Laboratory, Department of Informatics, Aristotle University © 2002