{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,4,10]],"date-time":"2026-04-10T03:14:09Z","timestamp":1775790849637,"version":"3.50.1"},"publisher-location":"Berlin, Heidelberg","reference-count":28,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"value":"9783642288685","type":"print"},{"value":"9783642288692","type":"electronic"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2012]]},"DOI":"10.1007\/978-3-642-28869-2_28","type":"book-chapter","created":{"date-parts":[[2012,3,22]],"date-time":"2012-03-22T20:44:36Z","timestamp":1332449076000},"page":"559-578","source":"Crossref","is-referenced-by-count":12,"title":["Staged Computation with Staged Lexical Scope"],"prefix":"10.1007","author":[{"given":"Morten","family":"Rhiger","sequence":"first","affiliation":[]}],"member":"297","reference":[{"key":"28_CR1","doi-asserted-by":"crossref","unstructured":"Backus, J.W., Beeber, R.J., Best, S., Goldberg, R., Haibt, L.M., Herrick, H.L., Nelson, R.A., Sayre, D., Sheridan, P.B., Stern, H., Ziller, I., Hughes, R.A., Nutt, R.: The Fortran automatic coding system. In: Techniques for Reliability, Proceedings of the Western Joint Computer Conference, pp. 188\u2013198 (1957)","DOI":"10.1145\/1455567.1455599"},{"key":"28_CR2","unstructured":"Barendregt, H.: The Lambda Calculus \u2014 Its Syntax and Semantics. North-Holland (1984)"},{"key":"28_CR3","unstructured":"Bawden, A.: Quasiquotation in Lisp. In: Proceedings of the ACM SIGPLAN Workshop on Partial Evaluation and Semantics-Based Program Manipulation, San Antonio, Texas (1999)"},{"key":"28_CR4","unstructured":"Benaissa, Z.-E.-A., Moggi, E., Taha, W., Sheard, T.: Logical modalities and multi-stage programming. In: Proceedings of the Workshop on Intuitionistic Modal Logics and Applications, Trento, Italy (July 1999)"},{"key":"28_CR5","unstructured":"Bondorf, A., Jones, N.D., Mogensen, T., Sestoft, P.: Binding time analysis and the taming of self-application. DIKU rapport, University of Copenhagen, Copenhagen, Denmark (1988)"},{"key":"28_CR6","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"25","DOI":"10.1007\/3-540-45022-X_4","volume-title":"Automata, Languages and Programming","author":"C. Calcagno","year":"2000","unstructured":"Calcagno, C., Moggi, E., Taha, W.: Closed Types as a Simple Approach to Safe Imperative Multi-stage Programming. In: Welzl, E., Montanari, U., Rolim, J.D.P. (eds.) ICALP 2000. LNCS, vol.\u00a01853, pp. 25\u201336. Springer, Heidelberg (2000)"},{"key":"28_CR7","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"79","DOI":"10.1007\/978-3-540-24725-8_7","volume-title":"Programming Languages and Systems","author":"C. Calcagno","year":"2004","unstructured":"Calcagno, C., Moggi, E., Taha, W.: ML-Like Inference for Classifiers. In: Schmidt, D. (ed.) ESOP 2004. LNCS, vol.\u00a02986, pp. 79\u201393. Springer, Heidelberg (2004)"},{"issue":"6","key":"28_CR8","doi-asserted-by":"publisher","first-page":"797","DOI":"10.1017\/S0956796805005617","volume":"15","author":"C. Chen","year":"2005","unstructured":"Chen, C., Xi, H.: Meta-programming through typeful code representation. Journal of Functional Programming\u00a015(6), 797\u2013835 (2005)","journal-title":"Journal of Functional Programming"},{"key":"28_CR9","doi-asserted-by":"publisher","first-page":"184","DOI":"10.1109\/LICS.1996.561317","volume-title":"Proceedings of the Eleventh Annual IEEE Symposium on Logic in Computer Science","author":"R. Davies","year":"1996","unstructured":"Davies, R.: A temporal-logic approach to binding-time analysis. In: Proceedings of the Eleventh Annual IEEE Symposium on Logic in Computer Science, pp. 184\u2013195. IEEE Computer Society Press, New Brunswick (1996)"},{"issue":"3","key":"28_CR10","doi-asserted-by":"publisher","first-page":"555","DOI":"10.1145\/382780.382785","volume":"48","author":"R. Davies","year":"2001","unstructured":"Davies, R., Pfenning, F.: A modal analysis of staged computation. Journal of the ACM\u00a048(3), 555\u2013604 (2001)","journal-title":"Journal of the ACM"},{"key":"28_CR11","unstructured":"Felleisen, M., Hieb, R.: The revised report on the syntactic theories of sequential control and state. Technical Report Rice COMP TR89\u2013100, Department of Computer Science, Rice University, Houston, Texas (June 1989)"},{"key":"28_CR12","unstructured":"Jones, N.D., Gomard, C.K., Sestoft, P.: Partial Evaluation and Automatic Program Generation. International Series in Computer Science. Prentice-Hall (1993)"},{"key":"28_CR13","first-page":"111","volume-title":"Proceedings of the ACM SIGPLAN Workshop on Partial Evaluation and Program Manipulation","author":"Y. Kameyama","year":"2009","unstructured":"Kameyama, Y., Kiselyov, O., Shan, C.C.: Shifting the stage: staging with delimited control. In: Proceedings of the ACM SIGPLAN Workshop on Partial Evaluation and Program Manipulation, pp. 111\u2013120. ACM, Savannah (2009)"},{"key":"28_CR14","first-page":"257","volume-title":"Proceedings of the Thirty-Third Annual ACM Symposium on Principles of Programming Languages","author":"I.-S. Kim","year":"2006","unstructured":"Kim, I.-S., Yi, K., Calcagno, C.: A polymorphic modal type system for lisp-like multi-staged languages. In: Proceedings of the Thirty-Third Annual ACM Symposium on Principles of Programming Languages, pp. 257\u2013268. ACM Press, Charleston (2006)"},{"key":"28_CR15","doi-asserted-by":"crossref","DOI":"10.21236\/AD0406138","volume-title":"LISP 1.5 Programmer\u2019s Manual","author":"J. McCarthy","year":"1962","unstructured":"McCarthy, J.: LISP 1.5 Programmer\u2019s Manual. The MIT Press, Cambridge (1962)"},{"key":"28_CR16","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"193","DOI":"10.1007\/3-540-49099-X_13","volume-title":"Programming Languages and Systems","author":"E. Moggi","year":"1999","unstructured":"Moggi, E., Taha, W., Benaissa, Z.-E.-A., Sheard, T.: An Idealized MetaML: Simpler, and More Expressive. In: Swierstra, S.D. (ed.) ESOP 1999. LNCS, vol.\u00a01576, pp. 193\u2013207. Springer, Heidelberg (1999)"},{"key":"28_CR17","first-page":"66","volume-title":"Proceedings of the Seventh ACM Conference on Functional Programming and Computer Architecture","author":"G. Morrisett","year":"1995","unstructured":"Morrisett, G., Felleisen, M., Harper, R.: Abstract models of memory management. In: Proceedings of the Seventh ACM Conference on Functional Programming and Computer Architecture, pp. 66\u201377. ACM Press, La Jolla (1995)"},{"key":"28_CR18","doi-asserted-by":"publisher","first-page":"206","DOI":"10.1145\/581478.581498","volume-title":"Proceedings of the 2002 ACM SIGPLAN International Conference on Functional Programming","author":"A. Nanevski","year":"2002","unstructured":"Nanevski, A.: Meta-programming with names and necessity. In: Proceedings of the 2002 ACM SIGPLAN International Conference on Functional Programming, pp. 206\u2013217. ACM Press, Pittsburgh (2002)"},{"issue":"3","key":"28_CR19","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1145\/1352582.1352591","volume":"9","author":"A. Nanevski","year":"2008","unstructured":"Nanevski, A., Pfenning, F., Pientka, B.: Contextual modal type theory. ACM Transactions on Computational Logic\u00a09(3), 1\u201349 (2008)","journal-title":"ACM Transactions on Computational Logic"},{"key":"28_CR20","volume-title":"Types and Programming Languages","author":"B.C. Pierce","year":"2002","unstructured":"Pierce, B.C.: Types and Programming Languages. The MIT Press, Cambridge (2002)"},{"key":"28_CR21","first-page":"127","volume":"6","author":"M. Rhiger","year":"2007","unstructured":"Rhiger, M.: First-class open and closed code fragments. Trends in Functional Programming\u00a06, 127\u2013144 (2007), Intellect","journal-title":"Trends in Functional Programming"},{"key":"28_CR22","unstructured":"Taha, W.: Multi-Stage programming: Its Theory and Applications. PhD thesis, Oregon Graduate Institute of Science and Technology (1999)"},{"key":"28_CR23","volume-title":"Proceedings of the ACM SIGPLAN Workshop on Partial Evaluation and Semantics-Based Program Manipulation","author":"W. Taha","year":"2000","unstructured":"Taha, W.: A sound reduction semantics for untyped CBN multi-stage computations. or, the theory of MetaML is non-trivial. In: Proceedings of the ACM SIGPLAN Workshop on Partial Evaluation and Semantics-Based Program Manipulation. ACM Press, Boston (2000)"},{"key":"28_CR24","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"918","DOI":"10.1007\/BFb0055113","volume-title":"Automata, Languages and Programming","author":"W. Taha","year":"1998","unstructured":"Taha, W., Benaissa, Z.-E.-A., Sheard, T.: Multi-Stage Programming: Axiomatization and Type Safety. In: Larsen, K.G., Skyum, S., Winskel, G. (eds.) ICALP 1998. LNCS, vol.\u00a01443, pp. 918\u2013929. Springer, Heidelberg (1998)"},{"key":"28_CR25","first-page":"26","volume-title":"Proceedings of the Thirtieth Annual ACM Symposium on Principles of Programming Languages","author":"W. Taha","year":"2003","unstructured":"Taha, W., Nielsen, M.F.: Environment classifiers. In: Proceedings of the Thirtieth Annual ACM Symposium on Principles of Programming Languages, pp. 26\u201337. ACM Press, New Orleans (2003)"},{"key":"28_CR26","doi-asserted-by":"publisher","first-page":"203","DOI":"10.1145\/258993.259019","volume-title":"Proceedings of the ACM SIGPLAN Symposium on Partial Evaluation and Semantics-Based Program Manipulation","author":"W. Taha","year":"1997","unstructured":"Taha, W., Sheard, T.: Multi-stage programming with explicit annotations. In: Proceedings of the ACM SIGPLAN Symposium on Partial Evaluation and Semantics-Based Program Manipulation, pp. 203\u2013217. ACM Press, Amsterdam (1997)"},{"key":"28_CR27","doi-asserted-by":"publisher","first-page":"400","DOI":"10.1145\/1806596.1806642","volume-title":"Proceedings of the ACM SIGPLAN 2010 Conference on Programming Languages Design and Implementation","author":"E. Westbrook","year":"2010","unstructured":"Westbrook, E., Ricken, M., Inoue, J., Yao, Y., Abdelatif, T., Taha, W.: Mint: Java multi-stage programming using weak separability. In: Proceedings of the ACM SIGPLAN 2010 Conference on Programming Languages Design and Implementation, pp. 400\u2013411. ACM Press, Toronto (2010)"},{"key":"28_CR28","doi-asserted-by":"publisher","first-page":"38","DOI":"10.1006\/inco.1994.1093","volume":"115","author":"A.K. Wright","year":"1994","unstructured":"Wright, A.K., Felleisen, M.: A syntactic approach to type soundness. Information and Computation\u00a0115, 38\u201394 (1994)","journal-title":"Information and Computation"}],"container-title":["Lecture Notes in Computer Science","Programming Languages and Systems"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-642-28869-2_28.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2021,5,4]],"date-time":"2021-05-04T11:13:43Z","timestamp":1620126823000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-642-28869-2_28"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2012]]},"ISBN":["9783642288685","9783642288692"],"references-count":28,"URL":"https:\/\/doi.org\/10.1007\/978-3-642-28869-2_28","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"value":"0302-9743","type":"print"},{"value":"1611-3349","type":"electronic"}],"subject":[],"published":{"date-parts":[[2012]]}}}