{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,3,25]],"date-time":"2025-03-25T14:37:16Z","timestamp":1742913436834,"version":"3.40.3"},"publisher-location":"Berlin, Heidelberg","reference-count":10,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540417392"},{"type":"electronic","value":"9783540447160"}],"license":[{"start":{"date-parts":[[2001,1,1]],"date-time":"2001-01-01T00:00:00Z","timestamp":978307200000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"},{"start":{"date-parts":[[2001,1,1]],"date-time":"2001-01-01T00:00:00Z","timestamp":978307200000},"content-version":"vor","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2001]]},"DOI":"10.1007\/3-540-44716-4_22","type":"book-chapter","created":{"date-parts":[[2007,8,15]],"date-time":"2007-08-15T18:16:34Z","timestamp":1187201794000},"page":"343-358","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":0,"title":["A Simple Take on Typed Abstract Syntax in Haskell-like Languages"],"prefix":"10.1007","author":[{"given":"Olivier","family":"Danvy","sequence":"first","affiliation":[]},{"given":"Morten","family":"Rhiger","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2001,3,21]]},"reference":[{"key":"22_CR1","series-title":"Lect Notes Comput Sci","first-page":"367","volume-title":"Partial Evaluation-Practice and Theory; Proceedings of the 1998 DIKU Summer School","author":"O. Danvy","year":"1998","unstructured":"Olivier Danvy. Type-directed partial evaluation. In John Hatcli, Torben \u00e6. Mogensen, and Peter Thiemann, editors, Partial Evaluation-Practice and Theory; Proceedings of the 1998 DIKU Summer School, number 1706 in Lecture Notes in Computer Science, pages 367\u2013411, Copenhagen, Denmark, July 1998. Springer-Verlag."},{"key":"22_CR2","unstructured":"Joseph H. Fasel, Paul Hudak, Simon Peyton Jones, and Philip Wadler (editors). Haskell special issue. SIGPLAN Notices, 27(5), May 1992."},{"key":"22_CR3","series-title":"Lect Notes Comput Sci","doi-asserted-by":"publisher","first-page":"378","DOI":"10.1007\/10704567_23","volume-title":"International Conference on Principles and Practice of Declarative Programming","author":"A. Filinski","year":"1999","unstructured":"Andrzej Filinski. A semantic account of type-directed partial evaluation. In Gopalan Nadathur, editor, International Conference on Principles and Practice of Declarative Programming, number 1702 in Lecture Notes in Computer Science, pages 378\u2013395, Paris, France, September 1999.Springer-Verlag. Extended version available as the technical report BRICS RS-99-17."},{"key":"22_CR4","volume-title":"R\u00e9solution d\u2019\u00e9quations dans les langages d\u2019ordre 1, 2,...,\u03c9","author":"G. Huet","year":"1976","unstructured":"G\u00e9rard Huet. R\u00e9solution d\u2019\u00e9quations dans les langages d\u2019ordre 1, 2,...,\u03c9. Th\u00e9se d\u2019\u00e9tat, Universit\u00e9 de Paris VII, Paris, France, 1976."},{"key":"22_CR5","unstructured":"Neil D. Jones, Carsten K. Gomard, and Peter Sestoft. Partial Evaluation and Automatic Program Generation. Prentice-Hall International, 1993. Available online at http:\/\/www.dina.kvl.dk\/~sestoft\/pebook\/pebook.html."},{"key":"22_CR6","unstructured":"Richard Kelsey, William Clinger, and Jonathan Rees, editors. Revised5 report on the algorithmic language Scheme. Higher-Order and Symbolic Computation, 11(1):7\u2013105, 1998. Also appears in ACM SIGPLAN Notices33(9), September 1998."},{"key":"22_CR7","doi-asserted-by":"crossref","unstructured":"Robin Milner, Mads Tofte, Robert Harper, and David MacQueen. The Definition of Standard ML (Revised). The MIT Press, 1997.","DOI":"10.7551\/mitpress\/2319.001.0001"},{"issue":"7","key":"22_CR8","first-page":"199","volume":"23","author":"F. Pfenning","year":"1988","unstructured":"Frank Pfenning and Conal Elliott. Higher-order abstract syntax. In Proceedings of the ACM SIGPLAN\u201988 Conference on Programming Languages Design and Implementation, SIGPLAN Notices, Vol. 23, No 7, pages 199\u2013208, Atlanta, Georgia, June 1988. ACM Press.","journal-title":"Proceedings of the ACM SIGPLAN\u201988 Conference on Programming Languages Design and Implementation"},{"key":"22_CR9","unstructured":"Morten Rhiger. Deriving a statically typed type-directed partial evaluator. In Proceedings of the ACM SIGPLAN Workshop on Partial Evaluation and Semantics-Based Program Manipulation, Technical report BRICS-NS-99-1, University of Aarhus, pages 25\u201329, San Antonio, Texas, January 1999."},{"key":"22_CR10","doi-asserted-by":"crossref","unstructured":"Zhe Yang. Encoding types in ML-like languages. In Paul Hudak and Christian Queinnec, editors, Proceedings of the 1998 ACM SIGPLAN International Conference on Functional Programming, pages 289\u2013300, Baltimore, Maryland, September 1998. ACM Press. Extended version available as the technical report BRICS RS-98-9.","DOI":"10.1145\/289423.289458"}],"container-title":["Lecture Notes in Computer Science","Functional and Logic Programming"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-44716-4_22","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2021,2,8]],"date-time":"2021-02-08T22:23:18Z","timestamp":1612822998000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-44716-4_22"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2001]]},"ISBN":["9783540417392","9783540447160"],"references-count":10,"URL":"https:\/\/doi.org\/10.1007\/3-540-44716-4_22","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2001]]},"assertion":[{"value":"21 March 2001","order":1,"name":"first_online","label":"First Online","group":{"name":"ChapterHistory","label":"Chapter History"}}]}}