Christopher T. Haynes

From MaRDI portal
Person:2568435


List of research outcomes

This list is not complete and representing at the moment only items from zbMATH Open and arXiv. We are working on additional sources - please check back here soon!

PublicationDate of PublicationType
Source-tracking unification.
Lecture Notes in Computer Science
2010-04-20Paper
Source-tracking unification
Information and Computation
2005-10-10Paper
Essentials of programming languages.
 
2001-09-11Paper
scientific article; zbMATH DE number 108542 (Why is no real title available?)
 
1993-01-23Paper
Embedding continuations in procedural objects
ACM Transactions on Programming Languages and Systems
1987-01-01Paper
Logic continuations
The Journal of Logic Programming
1987-01-01Paper
Obtaining coroutines with continuations
Computer Languages
1986-01-01Paper
scientific article; zbMATH DE number 3972162 (Why is no real title available?)
 
1986-01-01Paper
scientific article; zbMATH DE number 3854400 (Why is no real title available?)
 
1984-01-01Paper
scientific article; zbMATH DE number 3872649 (Why is no real title available?)
 
1984-01-01Paper


Research outcomes over time


This page was built for person: Christopher T. Haynes