论文信息 - Stores and partial continuations as first-class objects in a language and its environment

Stores and partial continuations as first-class objects in a language and its environment

ion and application are interesting, because they interact closely with curcont and fork, as will be seen below. Abstraction, Iike the semantics of integers above, simply applies the continuation to the extant store and a semantic cognate of the (syntactic)1 abstraction: Me[[func id.ezpr]]e s c p = p c (6, Xc1 .X(SI, vl).Me[[ezpr]]e[id t VI] 81 cl (~c24s2, v2).cz(s2, v2))

Gregory F. Johnson | G. F. Johnson | Dominic Duggan | Dominic Duggan

[1] Robin Milner,et al. A Theory of Type Polymorphism in Programming , 1978, J. Comput. Syst. Sci..

[2] Robert E. Tarjan,et al. Making data structures persistent , 1986, STOC '86.

[3] G. F. Johnson. GL-a denotational testbed with continuations and partial continuations as first-class objects , 1987, PLDI.

[4] John C. Reynolds,et al. GEDANKEN—a simple typeless language based on the principle of completeness and the reference concept , 1970, Commun. ACM.

[5] Dana S. Scott,et al. Data Types as Lattices , 1976, SIAM J. Comput..

[6] Gregory F. Johnson. GL-a denotational testbed with continuations and partial continuations as first-class objects , 1987, PLDI.

[7] Gerald Jay Sussman,et al. An Interpreter for Extended Lambda Calculus , 1975 .

[8] Daniel P. Friedman,et al. Constraining control , 1985, POPL.