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:
-
