Indiana University Bloomington

Luddy School of Informatics, Computing, and Engineering

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: