Research

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

Matthias Felleisen
(Aug 1987)
[Ph. D. Dissertation]
Abstract:
The abstact is not available. Please see the full paper.

Available as:
  • Sorry, no electronic version of this paper is currently available