{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,6]],"date-time":"2024-09-06T15:26:53Z","timestamp":1725636413529},"publisher-location":"London","reference-count":11,"publisher":"Springer London","isbn-type":[{"type":"print","value":"9783540198796"},{"type":"electronic","value":"9781447132363"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1994]]},"DOI":"10.1007\/978-1-4471-3236-3_12","type":"book-chapter","created":{"date-parts":[[2011,11,24]],"date-time":"2011-11-24T04:23:05Z","timestamp":1322108585000},"page":"145-155","source":"Crossref","is-referenced-by-count":1,"title":["Functional Graph Algorithms with Depth-First Search (Preliminary Summary)"],"prefix":"10.1007","author":[{"given":"David J.","family":"King","sequence":"first","affiliation":[]},{"given":"John","family":"Launchbury","sequence":"additional","affiliation":[]}],"member":"297","reference":[{"key":"12_CR1","volume-title":"Introduction to Algorithms","author":"TH Corman","year":"1990","unstructured":"Thomas H. Corman, Charles E. Leiserson, and Ronald L. Rivest. Introduction to Algorithms. The MIT Press, Cambridge, Massachusetts, 1990."},{"key":"12_CR2","unstructured":"Rachel Harrison. Abstract data types in Standard ML. John Wiley and Sons, 1993."},{"key":"12_CR3","volume-title":"Functional programming with Miranda","author":"I Holyer","year":"1991","unstructured":"Ian Holyer. Functional programming with Miranda. Pitman, London, 1991."},{"issue":"6","key":"12_CR4","doi-asserted-by":"publisher","first-page":"372","DOI":"10.1145\/362248.362272","volume":"16","author":"JE Hopcroft","year":"1973","unstructured":"John E. Hopcroft and Robert E. Tarjan. Algorithm 447: Efficient algorithms for graph manipulation. Communications of the ACM, 16(6):372\u2013378, June 1973.","journal-title":"Communications of the ACM"},{"key":"12_CR5","doi-asserted-by":"crossref","unstructured":"Paul Hudak, Simon L. Peyton Jones, Philip Wadler, Arvind, Brian Boutel, Jon Fairbairn, Joseph Fasel, Mar\u00eda M. Guzm\u00e1n, Kevin Hammond, John Hughes, Thomas Johnsson, Richard Kieburtz, Rishiyur S. Nikhil, Will Partain, and John Peterson. Report on the functional programming language Haskell, Version 1.2. ACM SIGPLAN Notices, 27(5), May 1992.","DOI":"10.1145\/130697.130699"},{"key":"12_CR6","unstructured":"John Launchbury. Lazy imperative programming. In Workshop on State in Programming Languages, ACM SIGPLAN, pages 46\u201356, Copenhagen, Denmark, June 1993."},{"key":"12_CR7","volume-title":"ML for the working programmer","author":"LC Paulson","year":"1991","unstructured":"L. C. Paulson. ML for the working programmer. Cambridge University Press, Cambridge, 1991."},{"key":"12_CR8","volume-title":"20\u2019th Symposium on Principles of Programming Languages","author":"SL Peyton Jones","year":"1993","unstructured":"Simon L. Peyton Jones and Philip Wadler. Imperative functional programming. In 20\u2019th Symposium on Principles of Programming Languages, ACM, Charleston, North Carolina, January 1993."},{"key":"12_CR9","doi-asserted-by":"crossref","unstructured":"M. Sharir. A strong-connectivity algorithm and its applications in data flow analysis. Computers and mathematics with applications, 7(1), 1981.","DOI":"10.1016\/0898-1221(81)90008-0"},{"issue":"2","key":"12_CR10","doi-asserted-by":"publisher","first-page":"146","DOI":"10.1137\/0201010","volume":"1","author":"RE Tarjan","year":"1972","unstructured":"Robert E. Tarjan. Depth-first search and linear graph algorithms. SIAM Journal of Computing, 1(2): 146\u2013160, June 1972.","journal-title":"SIAM Journal of Computing"},{"key":"12_CR11","volume-title":"19\u2019th Symposium on Principles of Programming Languages","author":"P Wadler","year":"1992","unstructured":"Philip Wadler. The essence of functional programming (invited talk). In 19\u2019th Symposium on Principles of Programming Languages, ACM, Santa Fe, New Mexico, January 1992."}],"container-title":["Workshops in Computing","Functional Programming, Glasgow 1993"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-1-4471-3236-3_12","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,6,19]],"date-time":"2019-06-19T20:33:07Z","timestamp":1560976387000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-1-4471-3236-3_12"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1994]]},"ISBN":["9783540198796","9781447132363"],"references-count":11,"URL":"https:\/\/doi.org\/10.1007\/978-1-4471-3236-3_12","relation":{},"ISSN":["1431-1682"],"issn-type":[{"type":"print","value":"1431-1682"}],"subject":[],"published":{"date-parts":[[1994]]}}}