Technical Report TR226:
The Calculi of Lambda-v-CS Conversion: A Syntactic Theory of Control and State in Imperative Higher-OrderProgramming Languages
Matthias Felleisen
(Aug 1987)
[Ph. D. Dissertation]
- Abstract:
-
The abstact is not available. Please see the full paper.
- Available as:
-
