{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,8,23]],"date-time":"2026-08-23T15:06:39Z","timestamp":1787497599228,"version":"build-2736575974"},"publisher-location":"Berlin, Heidelberg","reference-count":15,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"value":"9783540186250","type":"print"},{"value":"9783540480334","type":"electronic"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1987]]},"DOI":"10.1007\/3-540-18625-5_64","type":"book-chapter","created":{"date-parts":[[2012,2,25]],"date-time":"2012-02-25T14:40:47Z","timestamp":1330180847000},"page":"400-419","source":"Crossref","is-referenced-by-count":13,"title":["Lazy pattern matching in the ML language"],"prefix":"10.1007","author":[{"given":"Alain","family":"Laville","sequence":"first","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]}],"member":"297","published-online":{"date-parts":[[2005,5,27]]},"reference":[{"key":"28_CR1","doi-asserted-by":"crossref","unstructured":"L. Augustsson \u201cA Compiler for Lazy ML\u201d, A.C.M. Conference on Lisp and Functional Programming, Austin 1984, pp 218\u2013225","DOI":"10.1145\/800055.802038"},{"key":"28_CR2","unstructured":"J. Baeten J. Bergstra J. Klop \u201cPriority Rewrite Systems', Report CS-R8407, Center for Mathematics and Computer Science, Amsterdam"},{"key":"28_CR3","first-page":"136","volume-title":"HOPE: An Experimental Applicative Language","author":"R. Burstall","year":"1980","unstructured":"R. Burstall D. MacQueen D. Sannella \u201cHOPE: An Experimental Applicative Language\u201d, A.C.M. Conference on Lisp and Functional Programming, Stanford 1980, pp 136\u2013143"},{"key":"28_CR4","doi-asserted-by":"crossref","unstructured":"L. Cardelli \u201cCompiling a Functional Language\u201d, A.C.M. Conference on Lisp and Functional Programming, Austin 1984, pp 208\u2013217","DOI":"10.1145\/800055.802037"},{"key":"28_CR5","doi-asserted-by":"crossref","unstructured":"G. Cousineau P.L. Curien M. Mauny \u201cThe Categorical Abstract Machine\u201d, in J.P. Jouannaud ed. Functional Programming Languages and Computer Architecture, L.N.C.S. 201, Springer-Verlag 1985","DOI":"10.1007\/3-540-15975-4_29"},{"key":"28_CR6","unstructured":"P.L. Curien \u201cCategorical Combinators, Sequential Algorithms and Functional Programming\u201d, Research Notes in Theoretical Computer Science, Pitman Publishing Ltd 1986"},{"key":"28_CR7","unstructured":"G. Huet J.J. L\u00e9vy \u201cCall by Need Computations in Non Ambiguous Linear Term Rewriting Systems\u201d, Rapport IRIA Laboria 359, August 1979"},{"key":"28_CR8","unstructured":"G. Kahn G. Plotkin \u201cDomaines concrets\u201d, Rapport IRIA Laboria 336, December 1978"},{"key":"28_CR9","unstructured":"A. Laville \u201cFiltrage et Evaluation paresseuse\u201d, Th\u00e8se de Doctorat, Universit\u00e9 Paris 7, to appear"},{"key":"28_CR10","unstructured":"M. Mauny \u201cCompilation des Languages Fonctionnels dans les Combinateurs Cat\u00e9goriques, Application au langage ML\u201d, Th\u00e8se de 3\u00e8me cycle, Universit\u00e9 Paris 7, 1985"},{"key":"28_CR11","doi-asserted-by":"crossref","unstructured":"M. Mauny A. Suarez \u201cImplementing Functional Languages in the Categorical Abstract Machine\u201d, A.C.M. Conference on Lisp and Functional Programming, Cambridge 1986, pp 266\u2013278","DOI":"10.1145\/319838.319869"},{"key":"28_CR12","doi-asserted-by":"crossref","unstructured":"R. Milner \u201cA Proposal for Standard ML\u201d, A.C.M. Conference on Lisp and Functional Programming, Austin 1984, pp 184\u2013197","DOI":"10.1145\/800055.802035"},{"key":"28_CR13","doi-asserted-by":"publisher","first-page":"125","DOI":"10.1016\/0304-3975(75)90017-1","volume":"1","author":"G. Plotkin","year":"1975","unstructured":"G. Plotkin \u201cCall-by-need, Call-by-value and the Lambda Calculus\u201d, T.C.S. Vol 1, pp 125\u2013159, 1975","journal-title":"T.C.S."},{"key":"28_CR14","unstructured":"A. Suarez \u201cUne Impl\u00e9mentation de ML en ML\u201d, Th\u00e8se, Universit\u00e9 Paris 7, to appear"},{"key":"28_CR15","doi-asserted-by":"crossref","unstructured":"D. Turner \u201cMiranda a Non Strict Functional Language with Polymorphic Types\u201d, in J.P. Jouannaud ed. Functional Programming Languages and Computer Architecture, L.N.C.S. 201, Springer-Verlag 1985","DOI":"10.1007\/3-540-15975-4_26"}],"container-title":["Lecture Notes in Computer Science","Foundations of Software Technology and Theoretical Computer Science"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-18625-5_64.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,11,17]],"date-time":"2020-11-17T15:15:17Z","timestamp":1605626117000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-18625-5_64"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1987]]},"ISBN":["9783540186250","9783540480334"],"references-count":15,"URL":"https:\/\/doi.org\/10.1007\/3-540-18625-5_64","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"value":"0302-9743","type":"print"},{"value":"1611-3349","type":"electronic"}],"subject":[],"published":{"date-parts":[[1987]]}}}