{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,10,5]],"date-time":"2025-10-05T04:14:59Z","timestamp":1759637699872,"version":"3.33.0"},"publisher-location":"Berlin, Heidelberg","reference-count":17,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540653882"},{"type":"electronic","value":"9783540493662"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1998]]},"DOI":"10.1007\/3-540-49366-2_16","type":"book-chapter","created":{"date-parts":[[2007,11,13]],"date-time":"2007-11-13T18:48:47Z","timestamp":1194979727000},"page":"206-223","source":"Crossref","is-referenced-by-count":6,"title":["First-Class Contexts in ML"],"prefix":"10.1007","author":[{"given":"Masatomo","family":"Hashimoto","sequence":"first","affiliation":[]}],"member":"297","published-online":{"date-parts":[[1998,11,30]]},"reference":[{"key":"16_CR1","doi-asserted-by":"crossref","unstructured":"Mart\u00edn Abadi, Luca Cardelli, Pierre-Louis Curien, and Jean-Jacques L\u00e8vy. Explicit substitutions. In Conference Record of the Seventeenth Annual ACM Symposium on Principles of Programming Languages, San Francisco, California, pages 31\u201346. ACM, January 1990. Also Digital Equipment Corporation, Systems Research Center, Research Report 54, February 1990.","DOI":"10.1145\/96709.96712"},{"key":"16_CR2","series-title":"Lect Notes Comput Sci","doi-asserted-by":"crossref","first-page":"24","DOI":"10.1007\/3-540-57529-4_41","volume-title":"Foundations of Software Technology and Theoretical Computer Science","author":"H. A\u00eft-Kaci","year":"1993","unstructured":"Hassan A\u00eft-Kaci and Jacques Garrigue. Label-selective \u03bb-calculus syntax and conuence. In R. K. Shyamasundar, editor, Foundations of Software Technology and Theoretical Computer Science, volume 761 of Lecture Notes in Computer Science, pages 24\u201340. Springer-Verlag, October 1993."},{"key":"16_CR3","doi-asserted-by":"crossref","unstructured":"L. Damas and R. Milner. Principal type-schemes for functional programs. In Proc. ACM Symposium on Principles of Programming Languages, pages 207\u2013212, 1982.","DOI":"10.1145\/582153.582176"},{"key":"16_CR4","doi-asserted-by":"crossref","unstructured":"Laurent Dami. A lambda-calculus for dynamic binding. to appear in Theoretical Computer Science, 192(2), February 1998. special issue on Coordination.","DOI":"10.1016\/S0304-3975(97)00150-3"},{"key":"16_CR5","doi-asserted-by":"crossref","unstructured":"R. Davies and F. Pfenning. A modal analysis of staged computation. In Conference Record of Symposium on Principles of Programming Languages, pages 258\u2013270, 1996.","DOI":"10.1145\/237721.237788"},{"key":"16_CR6","series-title":"Lect Notes Comput Sci","doi-asserted-by":"publisher","first-page":"20","DOI":"10.1007\/BFb0014546","volume-title":"Proceedings of the International Symposium on Theoretical Aspects of Computer Software","author":"J. Garrigue","year":"1997","unstructured":"Jacques Garrigue and Didier R\u00e9my. Extending ML with semi-explicit higher order polymorphism. In Proceedings of the International Symposium on Theoretical Aspects of Computer Software, number 1281 in LNCS, pages 20\u201346, Sendai, Japan, September 1997. Springer-Verlag."},{"key":"16_CR7","doi-asserted-by":"crossref","unstructured":"R. Harper and B. Pierce. A record calculus based on symmetric concatenation. In Proc. ACM Symposium on Principles of Programming Languages, 1991.","DOI":"10.1145\/99583.99603"},{"key":"16_CR8","volume-title":"A typed Context Calculus","author":"M. Hashimoto","year":"1996","unstructured":"Masatomo Hashimoto and Atsushi Ohori. A typed Context Calculus. Preprint 1098, Research Institute for Mathematical Sciences, Kyoto, Japan, 1996. Also available from http:\/\/www.kurims.kyoto-u.ac.jp\/~masatomo\/ ."},{"key":"16_CR9","doi-asserted-by":"crossref","unstructured":"G. Kahn. Natural semantics. In Proc. Symposium on Theoretical Aspects of Computer Science, pages 22\u201339. Springer Verlag, 1987.","DOI":"10.1007\/BFb0039592"},{"key":"16_CR10","doi-asserted-by":"crossref","unstructured":"E. Kohlbecker, D. P. Friedman, M. Felleisen, and B. Duba. Hygienic macro expansion. In Proceedings of the 1986 ACM Conference on Lisp and Functional Programming, pages 151\u2013159, 1986.","DOI":"10.1145\/319838.319859"},{"key":"16_CR11","doi-asserted-by":"crossref","unstructured":"Shin-Der Lee and Daniel Friedman. Enriching the Lambda Calculus with Contexts: Towards A Theory of Incremental Program Construction. In Proceedings of International Conference on Functional Programming, ACMSIGPLAN notices, pages 239\u2013250, 1996.","DOI":"10.1145\/232629.232652"},{"key":"16_CR12","doi-asserted-by":"crossref","unstructured":"D. R\u00e9my. Typing Record Concatenation for Free. In Proc. ACM Symposium on Principles of Programming Languages, pages 166\u2013176, 1992.","DOI":"10.1145\/143165.143202"},{"key":"16_CR13","unstructured":"D. R\u00e9my. Type Inference for Records in a Natural Extension of ML. In C.A Gunter and J.C. Mitchell, editors, Theoretical Aspects of Object-Oriented Programming, pages 67\u201396. MIT Press, 1994."},{"key":"16_CR14","unstructured":"Didier R\u00e9my. Extending ML type system with a sorted equational theory. Research Report 1766, Institut National de Recherche en Informatique et Automatisme, Rocquencourt, BP 105, 78 153 Le Chesnay Cedex, France, 1992."},{"key":"16_CR15","unstructured":"Didier R\u00e9my. Syntactic theories and the algebra of record terms. Research Report 1869, Institut National de Recherche en Informatique et Automatisme, Rocquencourt, BP 105, 78 153 Le Chesnay Cedex, France, 1992."},{"key":"16_CR16","doi-asserted-by":"crossref","unstructured":"M. Wand. Type inference for records concatenation and simple objects. In Proceedings of 4th IEEE Symposium on Logic in Computer Science, pages 92\u201397, 1989.","DOI":"10.1109\/LICS.1989.39162"},{"key":"16_CR17","doi-asserted-by":"crossref","unstructured":"Philip Wickline, Peter Lee, and Frank Pfenning. Run-time code generation and Modal-ML. In Proceedings of the ACM SIGPLAN\u201998 Conference on Programming Language Design and Implementation (PLDI), pages 224\u2013235, Montreal, Canada, 17\u201319 June 1998.","DOI":"10.21236\/ADA339112"}],"container-title":["Lecture Notes in Computer Science","Advances in Computing Science ASIAN 98"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-49366-2_16","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,1,22]],"date-time":"2025-01-22T08:02:17Z","timestamp":1737532937000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-49366-2_16"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1998]]},"ISBN":["9783540653882","9783540493662"],"references-count":17,"URL":"https:\/\/doi.org\/10.1007\/3-540-49366-2_16","relation":{},"ISSN":["0302-9743"],"issn-type":[{"type":"print","value":"0302-9743"}],"subject":[],"published":{"date-parts":[[1998]]}}}