论文信息 - Continuations and coroutines - 字舞流文

Continuations and coroutines

The power of first class continuations is demonstrated by implementing a variety of coroutine mechanisms using only continuations and functional abstraction. The importance of general abstraction mechanisms such as continuations is discussed.

Mitchell Wand | Daniel P. Friedman | Christopher T. Haynes | C. T. Haynes | D. Friedman | M. Wand

[1] John C. Reynolds,et al. Definitional Interpreters for Higher-Order Programming Languages , 1972, ACM '72.

[2] Erik Sandewall,et al. Programming in an Interactive Environment: the ``Lisp'' Experience , 1978, CSUR.

[3] Tony Hoare,et al. Hierarchical Program Structures , 1972 .

[4] Gerald Jay Sussman,et al. The Revised Report on SCHEME: A Dialect of LISP. , 1978 .

[5] Carl Hewitt,et al. Viewing Control Structures as Patterns of Passing Messages , 1977, Artif. Intell..

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

[7] Melvin E. Conway,et al. Design of a separable transition-diagram compiler , 1963, CACM.

[8] Mitchell Wand,et al. Continuation-Based Multiprocessing , 1980, High. Order Symb. Comput..

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

[10] P. J. Landin,et al. Correspondence between ALGOL 60 and Church's Lambda-notation , 1965, Commun. ACM.