Indiana University Bloomington

Luddy School of Informatics, Computing, and Engineering

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]
The abstact is not available. Please see the full paper.

Available as: