{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,7,16]],"date-time":"2026-07-16T20:16:08Z","timestamp":1784232968156,"version":"3.55.0"},"publisher-location":"New York, NY, USA","reference-count":32,"publisher":"ACM","content-domain":{"domain":["dl.acm.org"],"crossmark-restriction":true},"short-container-title":[],"published-print":{"date-parts":[[1990,5]]},"DOI":"10.1145\/91556.91622","type":"proceedings-article","created":{"date-parts":[[2004,2,3]],"date-time":"2004-02-03T16:51:37Z","timestamp":1075827097000},"page":"151-160","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":289,"title":["Abstracting control"],"prefix":"10.1145","author":[{"given":"Olivier","family":"Danvy","sequence":"first","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Andrzej","family":"Filinski","sequence":"additional","affiliation":[{"name":"School of Computer Science, Carnegie Mellon University, Pittsburgh, PA"}],"role":[{"vocabulary":"crossref","role":"author"}]}],"member":"320","published-online":{"date-parts":[[1990,5]]},"reference":[{"key":"e_1_3_2_1_1_2","volume-title":"Jeffrey D. Ullman: The Design and Analffsis of Computer Algorithms","author":"Aho Alfred V.","year":"1974","unstructured":"Alfred V. Aho , 3ohn E. Hopcroft , Jeffrey D. Ullman: The Design and Analffsis of Computer Algorithms , Addison-Wesley ( 1974 ) Alfred V. Aho, 3ohn E. Hopcroft, Jeffrey D. Ullman: The Design and Analffsis of Computer Algorithms, Addison-Wesley (1974)"},{"key":"e_1_3_2_1_2_2","doi-asserted-by":"publisher","DOI":"10.1145\/75277.75303"},{"key":"e_1_3_2_1_3_2","volume-title":"Studies in Logic and the Foundations of Mathematics","volume":"103","author":"Barendregt Hendrick P.","year":"1985","unstructured":"Hendrick P. Barendregt : The Lambda Calculus, Rs Syntax and Semantics, revised edition , Studies in Logic and the Foundations of Mathematics , Vol. 103 , North-Holland ( 1985 ) Hendrick P. Barendregt: The Lambda Calculus, Rs Syntax and Semantics, revised edition, Studies in Logic and the Foundations of Mathematics, Vol. 103, North-Holland (1985)"},{"key":"e_1_3_2_1_4_2","doi-asserted-by":"publisher","DOI":"10.1145\/62678.62725"},{"key":"e_1_3_2_1_5_2","volume-title":"DIKU Rapport 89\/12, DIKU","author":"Danvy Olivier","year":"1989","unstructured":"Olivier Danvy , Andrzej Fillnski: A Functional Abstraction of Typed Contexts , DIKU Rapport 89\/12, DIKU , University of Copenhagen , Copenhagen, Denmark ( August 1989 ) Olivier Danvy, Andrzej Fillnski: A Functional Abstraction of Typed Contexts, DIKU Rapport 89\/12, DIKU, University of Copenhagen, Copenhagen, Denmark (August 1989)"},{"key":"e_1_3_2_1_6_2","first-page":"10","volume-title":"Programming with Tighter Control","author":"Danvy Olivier","unstructured":"Olivier Danvy : Programming with Tighter Control , pp 10 - 29 of the BIGRE journal, No 65 on Putting Scheme to Work, Andr~ Pic, Michel Briand, and Jean B~zivin (eds.), Brest, France (July 1989) Olivier Danvy: Programming with Tighter Control, pp 10-29 of the BIGRE journal, No 65 on Putting Scheme to Work, Andr~ Pic, Michel Briand, and Jean B~zivin (eds.), Brest, France (July 1989)"},{"key":"e_1_3_2_1_8_2","doi-asserted-by":"publisher","DOI":"10.1145\/73560.73576"},{"key":"e_1_3_2_1_9_2","doi-asserted-by":"publisher","DOI":"10.1145\/62678.62684"},{"key":"e_1_3_2_1_10_2","series-title":"Lecture Notes in Computer Science No 389","first-page":"224","volume-title":"proceedings of the Summer Conference on Category Theory and Computer Science","author":"Declarative Continuations' An Andrzej Filinski'","year":"1989","unstructured":"Andrzej Filinski' Declarative Continuations' An Investigation o! Duality in Programming Language Semantics , proceedings of the Summer Conference on Category Theory and Computer Science , Lecture Notes in Computer Science No 389 pp 224 - 249 , D. H. Pitt, D. E. Rydeheard, P. Dybjer, A. M. Pitts, & A. Poign~ (eds.), Springer-Verlag , Manchester, UK ( September 1989 ) Andrzej Filinski' Declarative Continuations' An Investigation o! Duality in Programming Language Semantics, proceedings of the Summer Conference on Category Theory and Computer Science, Lecture Notes in Computer Science No 389 pp 224-249, D. H. Pitt, D. E. Rydeheard, P. Dybjer, A. M. Pitts, & A. Poign~ (eds.), Springer-Verlag, Manchester, UK (September 1989)"},{"key":"e_1_3_2_1_11_2","doi-asserted-by":"publisher","DOI":"10.1145\/800235.807077"},{"key":"e_1_3_2_1_12_2","series-title":"NATO ASI Series","first-page":"263","volume-title":"Eugene Kohlbecker: Programruing with Continuations","author":"Friedman Daniel P.","year":"1984","unstructured":"Daniel P. Friedman , Christopher T. Haynes , Eugene Kohlbecker: Programruing with Continuations , NATO ASI Series , Vol. F 8 , Program Transformation and Programming Environments pp 263 - 274 , P. Pepper (ed.), Springer-Verlag Berlin Heidelberg ( 1984 ) Daniel P. Friedman, Christopher T. Haynes, Eugene Kohlbecker: Programruing with Continuations, NATO ASI Series, Vol. F8, Program Transformation and Programming Environments pp 263-274, P. Pepper (ed.), Springer-Verlag Berlin Heidelberg (1984)"},{"key":"e_1_3_2_1_13_2","doi-asserted-by":"publisher","DOI":"10.1145\/29873.30392"},{"key":"e_1_3_2_1_14_2","doi-asserted-by":"publisher","DOI":"10.1145\/29650.29668"},{"key":"e_1_3_2_1_15_2","doi-asserted-by":"publisher","DOI":"10.1145\/73560.73574"},{"key":"e_1_3_2_1_16_2","series-title":"Lecture Notes in Computer Science No ??, Michael Main","volume-title":"On some Semantic As. pects of the Reflective Tower, proceedings of the 4th Conference on Mathematical Foundations of Programming Semantics","author":"Malmkjaer Karoline","year":"1989","unstructured":"Karoline Malmkjaer : On some Semantic As. pects of the Reflective Tower, proceedings of the 4th Conference on Mathematical Foundations of Programming Semantics , Lecture Notes in Computer Science No ??, Michael Main , Austin Melton , Michael Mislove, and David Schmidt (eds.), Springer-Verlag , New Orleans, Louisiana ( April 1989 ) Karoline Malmkjaer: On some Semantic As. pects of the Reflective Tower, proceedings of the 4th Conference on Mathematical Foundations of Programming Semantics, Lecture Notes in Computer Science No ??, Michael Main, Austin Melton, Michael Mislove, and David Schmidt (eds.), Springer-Verlag, New Orleans, Louisiana (April 1989)"},{"key":"e_1_3_2_1_17_2","doi-asserted-by":"publisher","DOI":"10.1016\/S0019-9958(71)90355-X"},{"key":"e_1_3_2_1_18_2","volume-title":"Implementations of PROLOG, John A","author":"Mellish Chris","year":"1984","unstructured":"Chris Mellish , Steve Hardy: Integrating Prolog in the POPLOG Environment , in Implementations of PROLOG, John A . Campbell (ed.) pp 147- 162, Ellis Horwood ( 1984 ) Chris Mellish, Steve Hardy: Integrating Prolog in the POPLOG Environment, in Implementations of PROLOG, John A. Campbell (ed.) pp 147- 162, Ellis Horwood (1984)"},{"key":"e_1_3_2_1_20_2","unstructured":"Robert E. Milne Christopher Stra~ chey: A Theory of Programming Language Semantics Chapman and Hall London and John Wiley New York (1976)   Robert E. Milne Christopher Stra~ chey: A Theory of Programming Language Semantics Chapman and Hall London and John Wiley New York (1976)"},{"key":"e_1_3_2_1_21_2","first-page":"14","volume-title":"proceedings of 4th Conference on Logic in Computer Science","author":"Computational Eugenic Moggi'","year":"1989","unstructured":"Eugenic Moggi' Computational Lambda-calculus and Monads , proceedings of 4th Conference on Logic in Computer Science pp 14 - 23 , IEEE ( 1989 ). Eugenic Moggi' Computational Lambda-calculus and Monads, proceedings of 4th Conference on Logic in Computer Science pp 14-23, IEEE (1989)."},{"key":"e_1_3_2_1_22_2","doi-asserted-by":"publisher","DOI":"10.1145\/361532.361558"},{"key":"e_1_3_2_1_23_2","doi-asserted-by":"publisher","DOI":"10.1016\/0304-3975(75)90017-1"},{"key":"e_1_3_2_1_24_2","doi-asserted-by":"publisher","DOI":"10.1145\/15042.15043"},{"key":"e_1_3_2_1_25_2","doi-asserted-by":"publisher","DOI":"10.1145\/800194.805852"},{"key":"e_1_3_2_1_26_2","series-title":"Lecture Notes in Computer Science No 14","doi-asserted-by":"crossref","first-page":"141","DOI":"10.1007\/978-3-662-21545-6_10","volume-title":"2nd Colloquium on Automata, Languages and Programming","author":"Reynolds John","year":"1974","unstructured":"John Reynolds : On the Relation between Direct and Continuation Semantics , 2nd Colloquium on Automata, Languages and Programming , Lecture Notes in Computer Science No 14 pp 141 - 156 , Springer- Verlag , Jacques Loeckx (ed.), Saarbrflcken, West Getmany ( July 1974 ) John Reynolds: On the Relation between Direct and Continuation Semantics, 2nd Colloquium on Automata, Languages and Programming, Lecture Notes in Computer Science No 14 pp 141-156, Springer- Verlag, Jacques Loeckx (ed.), Saarbrflcken, West Getmany (July 1974)"},{"key":"e_1_3_2_1_27_2","doi-asserted-by":"publisher","DOI":"10.1145\/322203.322216"},{"key":"e_1_3_2_1_28_2","doi-asserted-by":"publisher","DOI":"10.1007\/BF01806126"},{"key":"e_1_3_2_1_30_2","volume-title":"MIT-AIL, AI Memo No 353","author":"Steele Guy L.","year":"1976","unstructured":"Guy L. Steele Jr . , Gerald J. Sussman: Lambda, the Ultimate Imperative , MIT-AIL, AI Memo No 353 , Cambridge , Massachusetts ( March 1976 ) Guy L. Steele Jr., Gerald J. Sussman: Lambda, the Ultimate Imperative, MIT-AIL, AI Memo No 353, Cambridge, Massachusetts (March 1976)"},{"key":"e_1_3_2_1_31_2","volume-title":"MIT-AIL, AI-TR-474","author":"Steele Guy L.","year":"1978","unstructured":"Guy L. Steele Jr . : RABBIT: A Compiler\/or SCHEME , MIT-AIL, AI-TR-474 , Cambridge , Massachusetts ( May 1978 ) Guy L. Steele Jr.: RABBIT: A Compiler\/or SCHEME, MIT-AIL, AI-TR-474, Cambridge, Massachusetts (May 1978)"},{"key":"e_1_3_2_1_32_2","doi-asserted-by":"publisher","DOI":"10.1016\/0304-3975(81)90037-2"},{"key":"e_1_3_2_1_33_2","volume-title":"Technical Monograph PRG-11","author":"Strachey Christopher","year":"1974","unstructured":"Christopher Strachey , Christopher P. Wadsworth: Continuations: A Mathematical Semantics for Handling Full Jumps , Technical Monograph PRG-11 , Oxford University Computing Laboratory, Programming Research Group , Oxford, England ( 1974 ) Christopher Strachey, Christopher P. Wadsworth: Continuations: A Mathematical Semantics for Handling Full Jumps, Technical Monograph PRG-11, Oxford University Computing Laboratory, Programming Research Group, Oxford, England (1974)"},{"key":"e_1_3_2_1_34_2","first-page":"13","volume-title":"Formal Lan. guage Description Languages for Computer Programruing","author":"van Wijngaarden Adriaan","year":"1966","unstructured":"Adriaan van Wijngaarden : Recursive Definition of Syntax and Semantics , in Formal Lan. guage Description Languages for Computer Programruing pp 13 - 24 , T. B. Steel Jr. (ed.), North-Holland ( 1966 ) Adriaan van Wijngaarden: Recursive Definition of Syntax and Semantics, in Formal Lan. guage Description Languages for Computer Programruing pp 13-24, T. B. Steel Jr. (ed.), North-Holland (1966)"},{"key":"e_1_3_2_1_35_2","volume-title":"Reflective Description of the Reflective Tower","volume":"1","author":"Wand Mitchell","year":"1988","unstructured":"Mitchell Wand , Daniel P. Friedman : The MIlsterll of the Tower Revealed: A Non . Reflective Description of the Reflective Tower , Volume 1 , Issue 1 of\/Lisp and Symbolic Computation ( May 1988 ) Mitchell Wand, Daniel P. Friedman: The MIlsterll of the Tower Revealed: A Non. Reflective Description of the Reflective Tower, Volume 1, Issue 1 of\/Lisp and Symbolic Computation (May 1988)"}],"event":{"name":"LFP90: ACM Conference on Lisp and Functional Programming","location":"Nice France","acronym":"LFP90","sponsor":["SIGAI ACM Special Interest Group on Artificial Intelligence","SIGPLAN ACM Special Interest Group on Programming Languages","SIGACT ACM Special Interest Group on Algorithms and Computation Theory","SIGSAM ACM Special Interest Group on Symbolic and Algebraic Manipulation","INRIA Institut Natl de Recherche en Info et en Automatique"]},"container-title":["Proceedings of the 1990 ACM conference on LISP and functional programming"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/91556.91622","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2023,1,9]],"date-time":"2023-01-09T23:22:55Z","timestamp":1673306575000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/91556.91622"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1990,5]]},"references-count":32,"alternative-id":["10.1145\/91556.91622","10.1145\/91556"],"URL":"https:\/\/doi.org\/10.1145\/91556.91622","relation":{},"subject":[],"published":{"date-parts":[[1990,5]]},"assertion":[{"value":"1990-05-01","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}