Academic
Publications
Rum. An Intensional Theory of Function and Control Abstractions

Rum. An Intensional Theory of Function and Control Abstractions,10.1007/3-540-19129-1_1,Carolyn L. Talcott

Rum. An Intensional Theory of Function and Control Abstractions   (Citations: 5)
BibTex | RIS | RefWorks Download
Without Abstract
Cumulative Annual
View Publication
The following links allow you to view full publications. These links are maintained by other sources not affiliated with Microsoft Academic Search.
    • ...The late eighties saw the extension of syntactic techniques to theories allowing equational reasoning on programs using non-functional features such as first-class continuations and state [15, 16, 17, 66]...
    • ...More generally, control delimiters are used to create partial continuations whose semantics allow various degrees of dynamicness [8, 32, 47, 54, 62]...

    Luc Moreau. A Syntactic Theory of Dynamic Binding

    • ...The late eighties saw the apparition of "syntactic theories", a new semantic framework which allows equational reasoning on programs using non-functional features hke first-class continuations and state [10, 11, 12, 44]...

    Luc Moreau. A Syntactic Theory of Dynamic Binding

    • ...Over the past few years, they have developed equational theories for a first-order version of Lisp with destructive cell operations [13], for a ΛC like language on control [22, 23], and, most recently, for a higher-order imperative version of Lisp without control abstractions [14]...

    Matthias Felleisenet al. The Revised Report on the Syntactic Theories of Sequential Control and...

Sort by: