{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,2,26]],"date-time":"2026-02-26T05:41:35Z","timestamp":1772084495850,"version":"3.50.1"},"publisher-location":"New York, NY, USA","reference-count":15,"publisher":"ACM","license":[{"start":{"date-parts":[[1988,1,1]],"date-time":"1988-01-01T00:00:00Z","timestamp":567993600000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.acm.org\/publications\/policies\/copyright_policy#Background"}],"content-domain":{"domain":["dl.acm.org"],"crossmark-restriction":true},"short-container-title":[],"published-print":{"date-parts":[[1988,1]]},"DOI":"10.1145\/62678.62725","type":"proceedings-article","created":{"date-parts":[[2004,2,3]],"date-time":"2004-02-03T16:51:37Z","timestamp":1075827097000},"page":"327-341","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":35,"title":["Intensions and extensions in a reflective tower"],"prefix":"10.1145","author":[{"given":"Olivier","family":"Danvy","sequence":"first","affiliation":[{"name":"DIKU - University of Copenhagen, Universitetsparken 1, DK-2100 Copenhagen \u00f8, DENMARK"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Karoline","family":"Malmkjaer","sequence":"additional","affiliation":[{"name":"DIKU - University of Copenhagen, Universitetsparken 1, DK-2100 Copenhagen \u00f8, DENMARK"}],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"320","published-online":{"date-parts":[[1988,1]]},"reference":[{"key":"e_1_3_2_1_1_2","volume-title":"Proceedings of the Workshop on Partial Evaluation and Mixed Computation, Dines Bj0rner, Andrei P. Ershov and Neil D. Jones (eds.), North-Holland (to appear), GI. Avernms, Denmark (October 1987)","author":"Danvy Olivier","unstructured":"Olivier Danvy : A ccross the Bridge between Reflection and Partial Evaluation , Proceedings of the Workshop on Partial Evaluation and Mixed Computation, Dines Bj0rner, Andrei P. Ershov and Neil D. Jones (eds.), North-Holland (to appear), GI. Avernms, Denmark (October 1987) Olivier Danvy: A ccross the Bridge between Reflection and Partial Evaluation, Proceedings of the Workshop on Partial Evaluation and Mixed Computation, Dines Bj0rner, Andrei P. Ershov and Neil D. Jones (eds.), North-Holland (to appear), GI. Avernms, Denmark (October 1987)"},{"key":"e_1_3_2_1_2_2","volume-title":"DIKU","author":"Danvy Olivier","year":"1988","unstructured":"Olivier Danvy , Karoline Malmkj~r: A Blond Primer, draft , DIKU , University of Copenhagen , Copenhagen, Denmark ( February 1988 ) Olivier Danvy, Karoline Malmkj~r: A Blond Primer, draft, DIKU, University of Copenhagen, Copenhagen, Denmark (February 1988)"},{"key":"e_1_3_2_1_3_2","doi-asserted-by":"publisher","DOI":"10.1145\/800055.802050"},{"key":"e_1_3_2_1_4_2","volume-title":"Patti Maes &amp","author":"des Rivi~res Jim","year":"1988","unstructured":"Jim des Rivi~res : Control-Re&ted Meta-Levei Facilities in LISP, from Meta-Level Architectures and Reflection , Patti Maes &amp ; Daniele Nardi (ed~.), North-Holland ( 1988 ) Jim des Rivi~res: Control-Re&ted Meta-Levei Facilities in LISP, from Meta-Level Architectures and Reflection, Patti Maes & Daniele Nardi (ed~.), North-Holland (1988)"},{"key":"e_1_3_2_1_6_2","doi-asserted-by":"publisher","DOI":"10.1145\/800055.802051"},{"key":"e_1_3_2_1_7_2","unstructured":"Neil D. Jones Peter Sestoft Harald S0ndergaard: MIX: a Self-Applicable Partial Evalttator for Experiments in Compiler Generation to appear in the International Journal LISP and Symbolic Computation (1988)  Neil D. Jones Peter Sestoft Harald S0ndergaard: MIX: a Self-Applicable Partial Evalttator for Experiments in Compiler Generation to appear in the International Journal LISP and Symbolic Computation (1988)"},{"key":"e_1_3_2_1_8_2","doi-asserted-by":"publisher","DOI":"10.1145\/1093410.1093411"},{"key":"e_1_3_2_1_9_2","doi-asserted-by":"publisher","DOI":"10.1145\/800087.802790"},{"key":"e_1_3_2_1_10_2","doi-asserted-by":"publisher","DOI":"10.1145\/15042.15043"},{"key":"e_1_3_2_1_11_2","unstructured":"David A. Schmidt: Denotational Semantics: a Methodology for Language Development A1- lyn and Bacon inc. (1986)   David A. Schmidt: Denotational Semantics: a Methodology for Language Development A1- lyn and Bacon inc. (1986)"},{"key":"e_1_3_2_1_13_2","doi-asserted-by":"publisher","DOI":"10.1145\/800017.800513"},{"key":"e_1_3_2_1_14_2","volume-title":"MIT-AIL, AI Memo No 452","author":"Steele Guy L.","year":"1978","unstructured":"Guy L. Steele Jr . , Gerald J. Sussman: The Revised Report on SCHEME, a Dialect of LISP , MIT-AIL, AI Memo No 452 , Cambridge , Massachusetts ( January 1978 ) Guy L. Steele Jr., Gerald J. Sussman: The Revised Report on SCHEME, a Dialect of LISP, MIT-AIL, AI Memo No 452, Cambridge, Massachusetts (January 1978)"},{"key":"e_1_3_2_1_17_2","doi-asserted-by":"publisher","DOI":"10.1145\/319838.319871"},{"key":"e_1_3_2_1_18_2","volume-title":"Preprints of the Workshop on Meta-Level Architectures and Reflection, Patti Maes & Daniele Nardi (eds.), Alghero, Sardinia (October 1986)","author":"Wand Mitchell","unstructured":"Mitchell Wand , Daniel P. Friedman , Bruce F. Duba : Getting the Levels Right (Preliminary Report) , Preprints of the Workshop on Meta-Level Architectures and Reflection, Patti Maes & Daniele Nardi (eds.), Alghero, Sardinia (October 1986) Mitchell Wand, Daniel P. Friedman, Bruce F. Duba: Getting the Levels Right (Preliminary Report), Preprints of the Workshop on Meta-Level Architectures and Reflection, Patti Maes & Daniele Nardi (eds.), Alghero, Sardinia (October 1986)"},{"key":"e_1_3_2_1_19_2","doi-asserted-by":"crossref","unstructured":"Mitchell Wand Daniel P. Friedman: The Mystery of the Tower Revealed: a Non-Reflective Description of the Reflective Tower to appear in the International Journal LISP and Symbolic Computation (1988)  Mitchell Wand Daniel P. Friedman: The Mystery of the Tower Revealed: a Non-Reflective Description of the Reflective Tower to appear in the International Journal LISP and Symbolic Computation (1988)","DOI":"10.1007\/BF01806174"}],"event":{"name":"LISP88: Lisp & Functional Programming 88","location":"Snowbird Utah USA","acronym":"LISP88","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"]},"container-title":["Proceedings of the 1988 ACM conference on LISP and functional programming"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/62678.62725","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/62678.62725","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,18]],"date-time":"2025-06-18T21:38:13Z","timestamp":1750282693000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/62678.62725"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1988,1]]},"references-count":15,"alternative-id":["10.1145\/62678.62725","10.1145\/62678"],"URL":"https:\/\/doi.org\/10.1145\/62678.62725","relation":{},"subject":[],"published":{"date-parts":[[1988,1]]},"assertion":[{"value":"1988-01-01","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}