{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,2,5]],"date-time":"2026-02-05T10:44:13Z","timestamp":1770288253901,"version":"3.49.0"},"publisher-location":"Berlin, Heidelberg","reference-count":19,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"value":"9783540201021","type":"print"},{"value":"9783540398158","type":"electronic"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2003]]},"DOI":"10.1007\/978-3-540-39815-8_6","type":"book-chapter","created":{"date-parts":[[2011,1,7]],"date-time":"2011-01-07T14:49:51Z","timestamp":1294411791000},"page":"97-116","source":"Crossref","is-referenced-by-count":8,"title":["Staged Notational Definitions"],"prefix":"10.1007","author":[{"given":"Walid","family":"Taha","sequence":"first","affiliation":[]},{"given":"Patricia","family":"Johann","sequence":"additional","affiliation":[]}],"member":"297","reference":[{"key":"6_CR1","unstructured":"Barendregt, H.P.: The Lambda Calculus: Its Syntax and Semantics, revised ed. North-Holland, Amsterdam (1984)"},{"key":"6_CR2","unstructured":"Benaissa, Z.E.-A., Moggi, E., Taha, W., Sheard, T.: Logical modalities and multi-stage programming. In: Federated Logic Conference Satellite Workshop on Intuitionistic Modal Logics and Applications (1999)"},{"key":"6_CR3","unstructured":"Cardelli, L.: Phase distinctions in type theory (1988) (unpublished manuscript), Available online from \n                    \n                      http:\/\/www.luca.demon.co.uk\/Bibliography.html"},{"key":"6_CR4","first-page":"184","volume-title":"Symposium on Logic in Computer Science","author":"R. Davies","year":"1996","unstructured":"Davies, R.: A temporal-logic approach to binding-time analysis. In: Symposium on Logic in Computer Science, pp. 184\u2013195. IEEE Computer Society Press, Los Alamitos (1996)"},{"key":"6_CR5","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"378","DOI":"10.1007\/10704567_23","volume-title":"Principles and Practice of Declarative Programming","author":"A. Filinski","year":"1999","unstructured":"Filinski, A.: A semantic account of type-directed partial evaluation. In: Nadathur, G. (ed.) PPDP 1999. LNCS, vol.\u00a01702, pp. 378\u2013395. Springer, Heidelberg (1999)"},{"key":"6_CR6","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"151","DOI":"10.1007\/3-540-45413-6_15","volume-title":"Typed Lambda Calculi and Applications","author":"A. Filinski","year":"2001","unstructured":"Filinski, A.: Normalization by evaluation for the computational lambda-calculus. In: Abramsky, S. (ed.) TLCA 2001. LNCS, vol.\u00a02044, pp. 151\u2013165. Springer, Heidelberg (2001)"},{"key":"6_CR7","volume-title":"International Conference on Functional Programming","author":"S. Ganz","year":"2001","unstructured":"Ganz, S., Sabry, A., Taha, W.: Macros as multi-stage computations: Typesafe, generative, binding macros in MacroML. In: International Conference on Functional Programming. ACM, New York (2001)"},{"key":"6_CR8","doi-asserted-by":"crossref","unstructured":"Griffin, T.G.: Notational definitions \u2014 a formal account. In: Proceedings of the 3rd Symposium on Logic in Computer Science (1988)","DOI":"10.1109\/LICS.1988.5134"},{"key":"6_CR9","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","DOI":"10.1007\/BFb0013612","volume-title":"Extensions of Logic Programming","author":"S. Michaylov","year":"1992","unstructured":"Michaylov, S., Pfenning, F.: Natural semantics and some of its meta-theory in Elf. In: Halln\u00e4s, L. (ed.) ELP 1991. LNCS, vol.\u00a0596, Springer, Heidelberg (1992)"},{"key":"6_CR10","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"211","DOI":"10.1007\/BFb0053552","volume-title":"Foundations of Software Science and Computation Structures","author":"E. Moggi","year":"1998","unstructured":"Moggi, E.: Functor categories and two-level languages. In: Nivat, M. (ed.) FOSSACS 1998. LNCS, vol.\u00a01378, p. 211. Springer, Heidelberg (1998)"},{"key":"6_CR11","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"358","DOI":"10.1007\/3-540-36576-1_23","volume-title":"Foundations of Software Science and Computational Structures","author":"E. Moggi","year":"2003","unstructured":"Moggi, E.: A monadic multi-stage metalanguage. In: Gordon, A.D. (ed.) FOSSACS 2003. LNCS, vol.\u00a02620, pp. 358\u2013374. Springer, Heidelberg (2003)"},{"key":"6_CR12","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":"6_CR13","unstructured":"Oregon Graduate Institute Technical Reports. P.O. Box 91000, Portland, OR 97291-1000,USA. Available online, from \n                    \n                      ftp:\/\/cse.ogi.edu\/pub\/techreports\/README.html"},{"key":"6_CR14","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1145\/581690.581691","volume-title":"Proc. of the Workshop on Haskell","author":"T. Sheard","year":"2002","unstructured":"Sheard, T., Peyton-Jones, S.: Template meta-programming for Haskell. In: Proc. of the Workshop on Haskell, pp. 1\u201316. ACM, New York (2002)"},{"key":"6_CR15","series-title":"ACM Sigplan Notices","first-page":"231","volume-title":"Proceedings of the Conference on History of Programming Languages","author":"G.L. Steele Jr.","year":"1993","unstructured":"Steele Jr., G.L., Gabriel, R.P.: The evolution of LISP. In: Wexelblat, R.L. (ed.) Proceedings of the Conference on History of Programming Languages. ACM Sigplan Notices, vol.\u00a028(3), pp. 231\u2013270. ACM Press, New York (1993)"},{"key":"6_CR16","unstructured":"Taha, W.: Multi-Stage Programming: Its Theory and Applications. PhD thesis, Oregon Graduate Institute of Science and Technology, Available from [13] (1999)"},{"key":"6_CR17","volume-title":"Proceedings of the Workshop on Partial Evaluation and Semantics-Based Program Maniplation","author":"W. Taha","year":"2000","unstructured":"Taha, W.: A sound reduction semantics for untyped CBN multi-stage computation. Or, the theory of MetaML is non-trivial. In: Proceedings of the Workshop on Partial Evaluation and Semantics-Based Program Maniplation. ACM Press, New York (2000)"},{"key":"6_CR18","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":"6_CR19","doi-asserted-by":"crossref","unstructured":"Taha, W., Nielsen, M.F.: Environment classifiers. In: The Symposium on Principles of Programming Languages (POPL 2003), New Orleans (2003)","DOI":"10.1145\/604131.604134"}],"container-title":["Lecture Notes in Computer Science","Generative Programming and Component Engineering"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-540-39815-8_6","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,3,23]],"date-time":"2019-03-23T09:17:34Z","timestamp":1553332654000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-540-39815-8_6"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2003]]},"ISBN":["9783540201021","9783540398158"],"references-count":19,"URL":"https:\/\/doi.org\/10.1007\/978-3-540-39815-8_6","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"value":"0302-9743","type":"print"},{"value":"1611-3349","type":"electronic"}],"subject":[],"published":{"date-parts":[[2003]]}}}