{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,7,8]],"date-time":"2025-07-08T14:07:54Z","timestamp":1751983674693},"publisher-location":"Berlin, Heidelberg","reference-count":23,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540543961"},{"type":"electronic","value":"9783540475996"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1991]]},"DOI":"10.1007\/3540543961_8","type":"book-chapter","created":{"date-parts":[[2012,2,25]],"date-time":"2012-02-25T22:44:32Z","timestamp":1330209872000},"page":"145-164","source":"Crossref","is-referenced-by-count":13,"title":["A strongly-typed self-applicable partial evaluator"],"prefix":"10.1007","author":[{"given":"John","family":"Launchbury","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2005,7,6]]},"reference":[{"key":"8_CR1","doi-asserted-by":"crossref","unstructured":"M.Abadi, L.Cardelli, B.Pierce and G.Plotkin. Dynamic Typing in a Statically-Typed Language. Proc. POPL89, Austin, Texas, 1989.","DOI":"10.1145\/75277.75296"},{"key":"8_CR2","doi-asserted-by":"crossref","unstructured":"L.Augustsson. A Compiler for Lazy ML. Proceedings of Lisp and Functional Programming Conference, Austin, Texas, 1984.","DOI":"10.1145\/800055.802038"},{"key":"8_CR3","unstructured":"H.Barendregt, The Lambda Calculus, Studies in Logic, Vol 103, North-Holland, 1981."},{"key":"8_CR4","unstructured":"D.Bj\u00f8rner, A.P.Ershov and N.D.Jones eds, Partial Evaluation and Mixed Computation, Proceedings IFIP TC2 Workshop, Gammel Avern\u00e6s, Denmark, October 1987, North-Holland, 1988."},{"key":"8_CR5","doi-asserted-by":"crossref","unstructured":"A.Bondorf, A Self-Applicable Partial Evaluator for Term Rewriting Systems, in TAPSOFT 89, eds. J.Diaz and F.Orejas, LNCS 352, Springer-Verlag, 1989.","DOI":"10.1007\/3-540-50940-2_29"},{"key":"8_CR6","unstructured":"A.Bondorf, Self-Applicable Partial Evaluation, Ph.D. Thesis, DIKU, Copenhagen, 1990."},{"key":"8_CR7","unstructured":"A.Bondorf, N.D.Jones, T.Mogensen and P.Sestoft, Binding Time Analysis and the Taming of Self-Application, Tech Report, DIKU, Copenhagen, 1988."},{"key":"8_CR8","doi-asserted-by":"crossref","first-page":"79","DOI":"10.1016\/0020-0190(89)90113-0","volume":"30","author":"C. Consel","year":"1989","unstructured":"C. Consel and O. Danvy, Partial Evaluation of Pattern Matching in Strings, Inf. Proc. Lett. 30, pages 79\u201386, 1989.","journal-title":"Inf. Proc. Lett."},{"key":"8_CR9","doi-asserted-by":"crossref","unstructured":"C.Consel, New Insights into Partial Evaluation: the Schism Experiment, ESOP 88, ed. H.Ganzinger, LNCS 300, Springer-Verlag, 1988.","DOI":"10.1007\/3-540-19027-9_16"},{"key":"8_CR10","volume-title":"The SCHEME Programming Language","author":"R.K. Dybvig","year":"1987","unstructured":"R.K. Dybvig, The SCHEME Programming Language, Prentice-Hall Inc., New Jersey, 1987."},{"issue":"23","key":"8_CR11","doi-asserted-by":"crossref","first-page":"119","DOI":"10.1007\/BF03037134","volume":"6","author":"D.A. Fuller","year":"1988","unstructured":"D.A. Fuller and S. Abramsky, Mixed Computation of Prology Programs, In New Generation Computing, Vol 6, No 2,3, pages 119\u2013141, Springer-Verlag, 1988.","journal-title":"New Generation Computing"},{"issue":"5","key":"8_CR12","first-page":"45","volume":"2","author":"Y. Futamura","year":"1971","unstructured":"Y. Futamura, Partial Evaluation of Computation Process\u2014An Approach to a Compiler-Compiler, Systems, Computers, Controls, Vol. 2, No. 5, pages 45\u201350, 1971.","journal-title":"Systems, Computers, Controls"},{"key":"8_CR13","unstructured":"C.Gomard and N.D.Jones, Compiler Generation by Partial Evaluation: A Case Study, Tech Report, DIKU, Copenhagen, 1989."},{"key":"8_CR14","doi-asserted-by":"crossref","unstructured":"C.Gomard and N.D.Jones, A Self-Applicable Partial Evaluator for the Untyped Lambda Calculus, J. of Functional Programming, CUP, Jan 1991.","DOI":"10.1017\/S0956796800000058"},{"key":"8_CR15","unstructured":"C.Kehler Holst, Language Triplets: The AMIX Approach, in [BEJ88], pages 167\u2013186, 1988."},{"key":"8_CR16","doi-asserted-by":"crossref","unstructured":"N.D.Jones, P.Sestoft and H.S\u00f8ndergaard, An Experiment in Partial Evaluation: The Generation of a Compiler Generator, Rewriting Techniques and Applications, Dijon, France, ed. J.-P.Jouannaud, LNCS 202, 1985.","DOI":"10.1007\/3-540-15976-2_6"},{"key":"8_CR17","doi-asserted-by":"crossref","unstructured":"J.Launchbury, Projection Factorisations in Partial Evaluation, Ph.D. Thesis, University of Glasgow, Nov 1989. Distinguished Dissertations in Computer Science, Vol 1, C.U.P., 1991.","DOI":"10.1017\/CBO9780511569814"},{"key":"8_CR18","unstructured":"T.Mogensen, The Application of Partial Evaluation to Ray-Tracing, Master's Thesis, DIKU, University of Copenhagen, 1986."},{"key":"8_CR19","unstructured":"T.Mogensen, Partially Static Structures in a Self-Applicable Partial Evaluator, in [BEJ88], pages 325\u2013347, 1988."},{"key":"8_CR20","first-page":"236","volume":"217","author":"P. Sestoft","year":"1986","unstructured":"P. Sestoft, The Structure of a Self-Applicable Partial Evaluator, in Programs as Data Objects, editors H. Ganzinger and N.D. Jones, LNCS 217, pages 236\u2013256, 1986.","journal-title":"LNCS"},{"key":"8_CR21","doi-asserted-by":"crossref","unstructured":"R.S.Sundaresh and P.Hudak, A Theory of Incremental Computation and its Application, Proc. POPL 91, Orlando, Florida, 1991.","DOI":"10.1145\/99583.99587"},{"key":"8_CR22","doi-asserted-by":"crossref","unstructured":"B.C. Smith, Reflection and Semantics in Lisp, Proc. POPL 84, Salt Lake City, Utah, 1984.","DOI":"10.1145\/800017.800513"},{"key":"8_CR23","doi-asserted-by":"crossref","unstructured":"D.Weise, R.Conybeare, E.Ruf and S.Seligman, Automatic Online Partial Evaluation, draft paper, Computer Systems Lab, Stanford Univ, 1990.","DOI":"10.1007\/3540543961_9"}],"container-title":["Lecture Notes in Computer Science","Functional Programming Languages and Computer Architecture"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3540543961_8.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,11,17]],"date-time":"2020-11-17T20:54:00Z","timestamp":1605646440000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3540543961_8"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1991]]},"ISBN":["9783540543961","9783540475996"],"references-count":23,"URL":"https:\/\/doi.org\/10.1007\/3540543961_8","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[1991]]}}}