{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,8]],"date-time":"2024-09-08T03:17:47Z","timestamp":1725765467322},"publisher-location":"London","reference-count":25,"publisher":"Springer London","isbn-type":[{"type":"print","value":"9783540197355"},{"type":"electronic","value":"9781447137948"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1992]]},"DOI":"10.1007\/978-1-4471-3794-8_15","type":"book-chapter","created":{"date-parts":[[2013,12,19]],"date-time":"2013-12-19T06:23:28Z","timestamp":1387434208000},"page":"224-238","source":"Crossref","is-referenced-by-count":0,"title":["A Common Graphical Form"],"prefix":"10.1007","author":[{"given":"David","family":"Parrott","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Chris","family":"Clack","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"15_CR1","first-page":"58","volume-title":"Conf. on Compiler Construction","author":"T Johnsson","year":"1984","unstructured":"T. Johnsson. Efficient compilation of lazy evaluation. In Conf. on Compiler Construction, pages 58\u201369. ACM, June 1984."},{"key":"15_CR2","volume-title":"FPCA Conf., pages 202-213. ACM","author":"L Augustsson","year":"1989","unstructured":"L. Augustsson and T. Johnsson. Parallel graph reduction with the (y, G)-machine. In FPCA Conf., pages 202\u2013213. ACM, 1989."},{"key":"15_CR3","volume-title":"P. Trealeven, editor, Parallel Computers (Object-Oriented, Functional, Logic), Series in Parallel Computing, chapter 7, pages 101-139. Wiley","author":"G Burn","year":"1990","unstructured":"G. Burn. Implementing lazy functional langauges on parallel architectures. In P. Trealeven, editor, Parallel Computers (Object-Oriented, Functional, Logic), Series in Parallel Computing, chapter 7, pages 101\u2013139. Wiley, 1990."},{"key":"15_CR4","volume-title":"Cleaning up the design space of function evaluating machines. Tech. report","author":"E Meijer","year":"1989","unstructured":"E. Meijer. Cleaning up the design space of function evaluating machines. Tech. report, Univ. of Nejmegen, Dept. of Informatics, Mar. 1989."},{"key":"15_CR5","volume-title":"A taxonomy of lazy function evaluating machines. Technical report","author":"E Meijer","year":"1989","unstructured":"E. Meijer. A taxonomy of lazy function evaluating machines. Technical report, Univ. of Nejmegen, Dept. of Informatics, June 1989."},{"key":"15_CR6","first-page":"296","volume-title":"Functional Programming","author":"I Robertson","year":"1989","unstructured":"I. Robertson. Hope+ on Flagship. In K. Davis and J. Hughes, editors, Functional Programming, Glasgow\n                  1989, pages 296\u2013307. Springer Verlag: Workshops in Computing, Aug. 1989."},{"key":"15_CR7","volume-title":"Alfalfa: distributed graph reduction on a hypercube multiprocessor, volume 279 of LNCS, pages 94-113","author":"B Goldberg","year":"1986","unstructured":"B. Goldberg and P. Hudak. Alfalfa: distributed graph reduction on a hypercube multiprocessor, volume 279 of LNCS, pages 94\u2013113. Springer Verlag, Nov. 1986."},{"key":"15_CR8","first-page":"244","volume-title":"Lisp and Functional Programming Conf.","author":"G Burn","year":"1988","unstructured":"G. Burn, S. Peyton Jones, and J. Robson. The Spineless G-Machine. In Lisp and Functional Programming Conf., pages 244\u2013258. Snowbird, July 1988."},{"key":"15_CR9","doi-asserted-by":"crossref","first-page":"184","DOI":"10.1145\/99370.99385","volume-title":"FPCA Conf","author":"S Peyton Jones","year":"1989","unstructured":"S. Peyton Jones and J. Salkild. The Spineless Tagless G-Machine. In FPCA Conf, pages 184\u2013201, 1989."},{"key":"15_CR10","doi-asserted-by":"crossref","unstructured":"J. Fairbairn and S. Wray. Tim: A simple, lazy abstract machine to execute supercombinators. In FPCA Conf. ACM, Springer Verlag, Sept. 1987. LNCS 274.","DOI":"10.1007\/3-540-18317-5_3"},{"key":"15_CR11","doi-asserted-by":"crossref","first-page":"214","DOI":"10.1145\/99370.99387","volume-title":"FPCA Conf.","author":"L George","year":"1989","unstructured":"L. George. An abstract machine for parallel graph reduction. In FPCA Conf., pages 214\u2013228, 1989."},{"key":"15_CR12","doi-asserted-by":"crossref","unstructured":"P. Watson and I. Watson. Evaluating functional programs on the Flagship machine. In FPCA Conf.,pages 80\u201397. ACM, Springer Verlag, Sept. 1987. LNCS 274.","DOI":"10.1007\/3-540-18317-5_6"},{"key":"15_CR13","volume-title":"A parallel architecture for declarative programming. T.R. FS\/MU\/IW\/017-88","author":"I Watson","year":"1988","unstructured":"I. Watson, V. Woods, P. Watson, R. Banach, M. Greenberg, and J. Sargeant. Flagship: A parallel architecture for declarative programming. T.R. FS\/MU\/IW\/017\u201388, Manchester Univ., Dept. of Comp. Sci., Mar. 1988."},{"key":"15_CR14","doi-asserted-by":"crossref","unstructured":"C. Clack and S. Peyton Jones. The four-stroke reduction engine. InLisp and Functional Programming Conf.,pages 220\u2013232. ACM, Aug. 1986.","DOI":"10.1145\/319838.319865"},{"key":"15_CR15","volume-title":"posting on fp electronic mailing list","author":"S Peyton Jones","year":"1987","unstructured":"S. Peyton Jones. The tag is dead\u2014long live the packet. posting on fp electronic mailing list, Oct. 1987."},{"key":"15_CR16","first-page":"167","volume-title":"Symposium on Lisp and Functional Programming","author":"P Hudak","year":"1984","unstructured":"P. Hudak and B. Goldberg. Experiments in diffused combinator reduction. In Symposium on Lisp and Functional Programming, pages 167\u2013176. ACM, Aug. 1984."},{"key":"15_CR17","doi-asserted-by":"crossref","first-page":"381","DOI":"10.1016\/1385-7258(72)90034-0","volume":"34","author":"N de Bruijn","year":"1972","unstructured":"N. de Bruijn. Lambda calculus notation with nameless dummies, a tool for automatic formula manipulation, with application to the church-rosser theorem. Indagationes Mathematicae, 34: 381\u2013392, 1972.","journal-title":"Indagationes Mathematicae"},{"key":"15_CR18","doi-asserted-by":"crossref","unstructured":"G. Cousineau, P. Curien, and M. Mauny. The categorical abstract machine. InFPCA Conf. pages 50\u201364. ACM, Springer Verlag, Sept. 1985. LNCS 201.","DOI":"10.1007\/3-540-15975-4_29"},{"key":"15_CR19","doi-asserted-by":"crossref","unstructured":"M. Joy and T. Axford. A standard for a graph representation for functional programs. In Sigplan Notices 23(1),pages 75\u201382. ACM, 1988. Univ. of Birmingham I.R. CSR-87\u20131.","DOI":"10.1145\/44304.44311"},{"key":"15_CR20","doi-asserted-by":"crossref","unstructured":"J. Hughes. A distributed garbage collection algorithm. In FPCA Conf. pages 256\u2013272. ACM, Springer Verlag, Sept. 1985. LNCS 201.","DOI":"10.1007\/3-540-15975-4_41"},{"key":"15_CR21","unstructured":"S. Peyton Jones and M. Joy. FLIC - a Functional Language Intermediate Code. I.N. 2048, University College London, Dept. of Comp. Sci., Aug. 1989."},{"issue":"2","key":"15_CR22","doi-asserted-by":"publisher","first-page":"127","DOI":"10.1093\/comjnl\/32.2.127","volume":"32","author":"L Augustsson","year":"1989","unstructured":"L. Augustsson and T. Johnsson. The Chalmers Lazy ML compiler. The Computer Journal, 32 (2): 127\u2013141, 1989.","journal-title":"The Computer Journal"},{"key":"15_CR23","unstructured":"J. Gluert, J. Kennaway, and M. Sleep. DACTL: A computational model and compiler target language based on graph reduction. ICL Technical Journal, 5 (3), 1987."},{"key":"15_CR24","unstructured":"B. Goldberg. Multiprocessor Ezecution of Functional Programs. PhD thesis, Graduate School of Yale Univ., Apr. 1988. Research Report: YALEU\/DCS\/RR-618."},{"key":"15_CR25","unstructured":"S. Peyton Jones. The Implementation of Functional Programming Languages. Prentice Hall, 1987."}],"container-title":["Workshops in Computing","Declarative Programming, Sasbachwalden 1991"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-1-4471-3794-8_15","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,5,25]],"date-time":"2019-05-25T13:29:22Z","timestamp":1558790962000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-1-4471-3794-8_15"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1992]]},"ISBN":["9783540197355","9781447137948"],"references-count":25,"URL":"https:\/\/doi.org\/10.1007\/978-1-4471-3794-8_15","relation":{},"ISSN":["1431-1682"],"issn-type":[{"type":"print","value":"1431-1682"}],"subject":[],"published":{"date-parts":[[1992]]}}}