Indiana University Bloomington

School of Informatics and Computing

Technical Report TR230:
A Syntactic Theory of Sequential State

Matthias Felleisen and Daniel P. Friedman
(Oct 1987)
[(Revised January, 1989) Appeared in Theoretical Computer Science 69, 3, (Dec. 1989) 243--287]
Abstract:
The abstact is not available. Please see the full paper.

Available as: