From post

копировать удалить добавить публикацию в буфер
Запись сообщества
посмотреть историю данной записи
URL
DOI
BibTeX
EndNote
APA
Chicago
DIN 1505
Harvard
MSOffice XML

Abstracting Timed Preemption with Engines.

C. Haynes, и D. Friedman. Comput. Lang., 12 (2): 109-121 (1987)

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.

A Theory of Data Type Representation Independence.C. Haynes. Semantics of Data Types, том 173 из Lecture Notes in Computer Science, стр. 157-175. Springer, (1984)Logic Continuations.C. Haynes. ICLP, том 225 из Lecture Notes in Computer Science, стр. 671-685. Springer, (1986)Revised Report on the Algorithmic Language Scheme.H. Abelson, R. Dybvig, C. Haynes, G. Rozas, N. IV, D. Friedman, E. Kohlbecker, G. Jr., D. Bartley, R. Jr. и 6 other автор(ы). High. Order Symb. Comput., 11 (1): 7-105 (1998)Source-tracking unification.V. Choppella, и C. Haynes. Inf. Comput., 201 (2): 121-159 (2005)The Role of Consensus.R. Rada, G. Carson, и C. Haynes. Commun. ACM, 37 (4): 15-16 (1994)Source-Tracking Unification.V. Choppella, и C. Haynes. CADE, том 2741 из Lecture Notes in Computer Science, стр. 458-472. Springer, (2003)Essentials of programming languages (2. ed.).D. Friedman, M. Wand, и C. Haynes. MIT Press, (2001)Abstracting Timed Preemption with Engines.C. Haynes, и D. Friedman. Comput. Lang., 12 (2): 109-121 (1987)Logic Continuations.C. Haynes. J. Log. Program., 4 (2): 157-176 (1987)Compiling: a high-level introduction using Scheme.C. Haynes. SIGCSE, стр. 253-257. ACM, (1997)