{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,4]],"date-time":"2024-09-04T13:20:10Z","timestamp":1725456010810},"publisher-location":"Berlin\/Heidelberg","reference-count":22,"publisher":"Springer-Verlag","isbn-type":[{"type":"print","value":"354053010X"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"DOI":"10.1007\/bfb0024194","type":"book-chapter","created":{"date-parts":[[2005,11,19]],"date-time":"2005-11-19T09:49:34Z","timestamp":1132393774000},"page":"340-357","source":"Crossref","is-referenced-by-count":4,"title":["Compilation of non-linear, second order patterns on S-expressions"],"prefix":"10.1007","author":[{"given":"Christian","family":"Queinnec","sequence":"first","affiliation":[]}],"member":"297","reference":[{"key":"23_CR1","volume-title":"Structure and Interpretation of Computer Programs","author":"H. Abelson","year":"1985","unstructured":"Harold Abelson, Gerald Sussman, with Julie Sussman, Structure and Interpretation of Computer Programs, MIT Press, Cambridge MA, 1985."},{"key":"23_CR2","first-page":"177","volume":"71","author":"J. Arcangeli","year":"1970","unstructured":"Jean-Paul Arcangeli, Christian Pomian, Principles of Plasma pattern and alternative structure compilation, Theoretical Computer Science, Vol 71, 1970, pp 177\u2013191.","journal-title":"Principles of Plasma pattern and alternative structure compilation"},{"key":"23_CR3","doi-asserted-by":"crossref","unstructured":"Lennart Augustsson, Compiling Pattern Matching, Conference on Functional Programming and Machine Architecture, Nancy 1985, Lecture Note in Computer Science 201, Springer Verlag 1985.","DOI":"10.1007\/3-540-15975-4_48"},{"key":"23_CR4","doi-asserted-by":"crossref","unstructured":"R. M. Burstall, Proving Properties of Programs by structural Induction, The Computer Journal, Vol 12, No 1.","DOI":"10.1093\/comjnl\/12.1.41"},{"issue":"1","key":"23_CR5","doi-asserted-by":"crossref","first-page":"53","DOI":"10.1007\/BF01806176","volume":"1","author":"R. K. Dybvig","year":"1988","unstructured":"R. Kent Dybvig, Daniel P. Friedman, Christopher T. Haynes, Expansion-Passing-Style: A General Macro Mechanism, Lisp and Symbolic Computation, Vol 1, n 1, June 1988, pp 53\u201376.","journal-title":"Lisp and Symbolic Computation"},{"key":"23_CR6","doi-asserted-by":"crossref","unstructured":"Reinhold Heckmann, A Functional Language for the Specification of Complex Tree Transformations, ESOP 88, Lecture Notes on Computer Science, Springer 1988.","DOI":"10.1007\/3-540-19027-9_28"},{"issue":"1","key":"23_CR7","doi-asserted-by":"crossref","first-page":"26","DOI":"10.1109\/TSE.1975.6312818","volume":"1","author":"C. Hewitt","year":"1975","unstructured":"C. Hewitt, B. Smith, Towards a programming Apprentice, IEEE Transactions on Software Engineering, SE-1, No 1, March 1975, pp 26\u201345.","journal-title":"IEEE Transactions on Software Engineering"},{"key":"23_CR8","unstructured":"Paul Hudak & Philip Wadler (eds), Report on the Programming Language Haskell, YALEU\/DCS\/RR-777, 1 April 1990."},{"key":"23_CR9","volume-title":"Lisp, Objects, and Symbolic Programming","author":"R. R. Kessler","year":"1988","unstructured":"Robert R. Kessler, Lisp, Objects, and Symbolic Programming, Scott, Foreman\/Little, Brown College Division, Glenview, Illinois, 1988."},{"key":"23_CR10","volume-title":"\u00c9valuation paresseuse des filtrages avec priorit\u00e9, Application au langage ML","author":"A. Laville","year":"1988","unstructured":"Alain Laville, \u00c9valuation paresseuse des filtrages avec priorit\u00e9, Application au langage ML, Th\u00e8se de Doctorat, Universit\u00e9 Paris VII, F\u00e9vrier 1988."},{"key":"23_CR11","unstructured":"Eugen Neidl, \u00c9tude des relations avec l'interpr\u00e8te dans la compilation de Lisp, Th\u00e8se de troisi\u00e8me cycle, Universit\u00e9 Paris VI, 1984."},{"key":"23_CR12","unstructured":"Simon L. Peyton Jones, The Implementation of Functional Programming Languages, Prentice-Hall, May 1986."},{"key":"23_CR13","doi-asserted-by":"crossref","unstructured":"Christian Queinnec, Lisp, Macmillan, 1984.","DOI":"10.1007\/978-1-349-07218-7"},{"issue":"12","key":"23_CR14","doi-asserted-by":"crossref","first-page":"37","DOI":"10.1145\/15042.15043","volume":"21","author":"J. A. Rees","year":"1986","unstructured":"Jonathan A. Rees, William Clinger, Revised 3 Report on the Algorithmic Language Scheme, ACM SIGPLAN Notices, 21, 12, Dec 1986, pp 37\u201379.","journal-title":"ACM SIGPLAN Notices"},{"key":"23_CR15","volume-title":"Denotational Semantics, A Methodology for Language Development","author":"D. A. Schmidt","year":"1986","unstructured":"David A. Schmidt, Denotational Semantics, A Methodology for Language Development, Allyn and Bacon, Inc., Newton, Mass., 1986."},{"key":"23_CR16","volume-title":"Denotational Semantics: The Scott-Strachey Approach to Programming Language Theory","author":"J. E. Stoy","year":"1977","unstructured":"Joseph E. Stoy, Denotational Semantics: The Scott-Strachey Approach to Programming Language Theory, MIT Press, Cambridge, Mass., 1977."},{"key":"23_CR17","doi-asserted-by":"crossref","first-page":"377","DOI":"10.1007\/BF03037416","volume":"5","author":"M. Takeichi","year":"1988","unstructured":"M. Takeichi, Lambda-Hoisting: a Transformation technique for fully lazy evaluation of functional program, New Generation Computing, Vol 5, 1988, pp 377\u2013391.","journal-title":"New Generation Computing"},{"key":"23_CR18","unstructured":"Warren Teitelman, InterLisp Reference Manual, 1978."},{"key":"23_CR19","unstructured":"D. A. Turner, The SASL Language Manual, Technical Report CS\/75\/1, Department of Computational Science, University of Saint Andrews."},{"key":"23_CR20","unstructured":"Philip Wadler, Efficient Compilation of Pattern-Matching, in PeytonJones86."},{"key":"23_CR21","unstructured":"Pierre Weis, The CAML Reference Manual, INRIA 1989."},{"key":"23_CR22","unstructured":"Patrick H. Winston, Berthold K. Horn, Lisp, 3rd Edition, Addison Wesley, 1988."}],"container-title":["Lecture Notes in Computer Science","Programming Language Implementation and Logic Programming"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/BFb0024194.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,12,9]],"date-time":"2020-12-09T21:52:17Z","timestamp":1607550737000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/BFb0024194"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[null]]},"ISBN":["354053010X"],"references-count":22,"URL":"https:\/\/doi.org\/10.1007\/bfb0024194","relation":{},"subject":[]}}