Technical Report Results
Technical Report TR226:
The Calculi of Lambda-v-CS Conversion: A Syntactic Theory of Control and State in Imperative Higher-OrderProgramming Languages
[Ph. D. Dissertation]
The abstact is not available. Please see the full paper.
- Available as:
- Sorry, no electronic version of this paper is currently available