{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2022,3,31]],"date-time":"2022-03-31T11:24:45Z","timestamp":1648725885298},"reference-count":21,"publisher":"Elsevier BV","issue":"3","license":[{"start":{"date-parts":[[2003,11,1]],"date-time":"2003-11-01T00:00:00Z","timestamp":1067644800000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.elsevier.com\/tdm\/userlicense\/1.0\/"},{"start":{"date-parts":[[2013,7,29]],"date-time":"2013-07-29T00:00:00Z","timestamp":1375056000000},"content-version":"vor","delay-in-days":3558,"URL":"http:\/\/creativecommons.org\/licenses\/by-nc-nd\/3.0\/"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["Electronic Notes in Theoretical Computer Science"],"published-print":{"date-parts":[[2003,11]]},"DOI":"10.1016\/s1571-0661(04)80694-7","type":"journal-article","created":{"date-parts":[[2004,9,29]],"date-time":"2004-09-29T16:47:47Z","timestamp":1096476467000},"page":"70-84","source":"Crossref","is-referenced-by-count":0,"title":["Automatic Visualization of Recursion Trees"],"prefix":"10.1016","volume":"86","author":[{"given":"Alcino","family":"Cunha","sequence":"first","affiliation":[]}],"member":"78","reference":[{"key":"10.1016\/S1571-0661(04)80694-7_NEWBIB1","series-title":"3rd International Summer School on Advanced Functional Programming volume 1608 of LNCS","first-page":"1","article-title":"Sorting morphisms","author":"Augusteijn","year":"1999"},{"key":"10.1016\/S1571-0661(04)80694-7_NEWBIB2","series-title":"3rd International Summer School on Advanced Functional Programming, volume 1608 of LNCS","first-page":"28","article-title":"Generic programming \u2013 an introduction","author":"Backhouse","year":"1999"},{"key":"10.1016\/S1571-0661(04)80694-7_NEWBIB3","unstructured":"Dave Clarke, Ralf Hinze, Johan Jeuring, Andres L\u00f6h, and Jan de Wit. The Generic Haskell user's guide. Technical Report UU-CS-2001\ue4f826, Utrecht University, 2001."},{"key":"10.1016\/S1571-0661(04)80694-7_NEWBIB4","unstructured":"Alcino Cunha, Jos\u00e9 Barros, and Jo\u00e3o Saraiva. Deriving animations from recursive definitions. In Draft Proceedings of the 14th International Workshop on the Implementation of Functional Languages (IFL'02), 2002."},{"key":"10.1016\/S1571-0661(04)80694-7_NEWBIB5","unstructured":"Maarten Fokkinga. Monadic maps and folds for arbitrary datatypes. Memoranda Informatica 94\u201328, University of Twente, June 1994."},{"key":"10.1016\/S1571-0661(04)80694-7_NEWBIB6","doi-asserted-by":"crossref","unstructured":"Jeremy Gibbons and Geraint Jones. The under-appreciated unfold. In Proceedings of the 3rd ACM SIGPLAN International Conference on Functional Programming (ICFP'98), pages 273\u2013279. ACM Press, 1998.","DOI":"10.1145\/289423.289455"},{"key":"10.1016\/S1571-0661(04)80694-7_NEWBIB7","unstructured":"Andy Gill. Debugging Haskell by observing intermediate data structures. In G. Hutton, editor, Proceedings of the 4th ACM SIGPLAN Haskell Workshop, 2000."},{"key":"10.1016\/S1571-0661(04)80694-7_NEWBIB8","doi-asserted-by":"crossref","unstructured":"Ralf Hinze. A new approach to generic functional programming. In Proceedings of the 27th Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages (POPL'00), pages 119\u2013132. ACM Press, 2000.","DOI":"10.1145\/325694.325709"},{"key":"10.1016\/S1571-0661(04)80694-7_NEWBIB9","doi-asserted-by":"crossref","unstructured":"Ralf Hinze. Polytypic values possess polykinded types. In Roland Backhouse and Jos\u00e9 Nuno Oliveira, editors, Mathematics of Program Construction (proceedings of MPC'00), volume 1837 of LNCS, pages 2\u201327. Springer-Verlag, 2000.","DOI":"10.1007\/10722010_2"},{"key":"10.1016\/S1571-0661(04)80694-7_NEWBIB10","doi-asserted-by":"crossref","unstructured":"Ralf Hinze, Johan Jeuring, and Andres L\u00f6h. Type-indexed data types. In Eerke Boiten and Bernhard M\u00f6ller, editors, Mathematics of Program Construction (proceedings of MPC'02), volume 2386 of LNCS, pages 148\u2013174. Springer-Verlag, 2002.","DOI":"10.1007\/3-540-45442-X_10"},{"key":"10.1016\/S1571-0661(04)80694-7_NEWBIB11","doi-asserted-by":"crossref","unstructured":"Ralf Hinze and Simon Peyton Jones. Derivable type classes. In Graham Hutton, editor, Proceedings of the 2000 ACM SIGPLAN Haskell Workshop, volume 41.1 of ENTCS. Elsevier, 2001.","DOI":"10.1016\/S1571-0661(05)80542-0"},{"key":"10.1016\/S1571-0661(04)80694-7_NEWBIB12","doi-asserted-by":"crossref","unstructured":"Zhenjiang Hu, Hideya Iwasaki, and Masato Takeichi. Deriving structural hylomorphisms from recursive definitions. In Proceedings of the ACM SIGPLAN International Conference on Functional Programming (ICFP'96), pages 73\u201382. ACM Press, 1996.","DOI":"10.1145\/232627.232637"},{"key":"10.1016\/S1571-0661(04)80694-7_NEWBIB13","doi-asserted-by":"crossref","unstructured":"Patrik Jansson and Johan Jeuring. Polyp \u2013 a polytypic programming language extension. In Proceedings of the 24th ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, pages 470\u2013482. ACM Press, 1997.","DOI":"10.1145\/263699.263763"},{"key":"10.1016\/S1571-0661(04)80694-7_NEWBIB14","series-title":"Haskell 98: A Non-strict, Purely Functional Language","year":"1999"},{"key":"10.1016\/S1571-0661(04)80694-7_NEWBIB15","unstructured":"Simon Peyton Jones and Mark Shields. Lexically-scoped type variables. To be submitted to The Journal of Functional Programming, March 2002."},{"key":"10.1016\/S1571-0661(04)80694-7_NEWBIB16","unstructured":"Oleg Kiselyov. Re: Type class problem. Message posted on the Haskell mailing list, August 2003. http:\/\/www.mail-archive.com\/haskell@haskell.org\/msg13213.html."},{"key":"10.1016\/S1571-0661(04)80694-7_NEWBIB17","doi-asserted-by":"crossref","unstructured":"Erik Meijer, Maarten Fokkinga, and Ross Paterson. Functional programming with bananas, lenses, envelopes and barbed wire. In J. Hughes, editor, Proceedings of the 5th ACM Conference on Functional Programming Languages and Computer Architecture (FPCA'91), volume 523 of LNCS. Springer-Verlag, 1991.","DOI":"10.1007\/3540543961_7"},{"key":"10.1016\/S1571-0661(04)80694-7_NEWBIB18","doi-asserted-by":"crossref","unstructured":"Erik Meijer and Graham Hutton. Bananas in space: Extending fold and unfold to exponential types. In Proceedings of the 7th ACM Conference on Functional Programming Languages and Computer Architecture (FPCA'95). ACM Press, 1995.","DOI":"10.1145\/224164.224225"},{"key":"10.1016\/S1571-0661(04)80694-7_NEWBIB19","unstructured":"Claus Reinke. GHood - graphical visualisation and animation of Haskell object observations. In Ralf Hinze, editor, Proceedings of the 2001 ACM SIGPLAN Haskell Workshop, volume 59 of ENTCS. Elsevier, 2001."},{"key":"10.1016\/S1571-0661(04)80694-7_NEWBIB20","doi-asserted-by":"crossref","unstructured":"Valery Trifonov. Simulating quantified class constrains. In Proceedings of the ACM SIGPLAN 2003 Haskell Workshop, pages 98\u2013102. ACM Press, 2003.","DOI":"10.1145\/871895.871906"},{"key":"10.1016\/S1571-0661(04)80694-7_NEWBIB21","unstructured":"Noel Winstanley and John Meacham. DrIFT User Guide (version 2. Orc3), 2002."}],"container-title":["Electronic Notes in Theoretical Computer Science"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/api.elsevier.com\/content\/article\/PII:S1571066104806947?httpAccept=text\/xml","content-type":"text\/xml","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/api.elsevier.com\/content\/article\/PII:S1571066104806947?httpAccept=text\/plain","content-type":"text\/plain","content-version":"vor","intended-application":"text-mining"}],"deposited":{"date-parts":[[2019,2,3]],"date-time":"2019-02-03T10:53:02Z","timestamp":1549191182000},"score":1,"resource":{"primary":{"URL":"https:\/\/linkinghub.elsevier.com\/retrieve\/pii\/S1571066104806947"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2003,11]]},"references-count":21,"journal-issue":{"issue":"3","published-print":{"date-parts":[[2003,11]]}},"alternative-id":["S1571066104806947"],"URL":"https:\/\/doi.org\/10.1016\/s1571-0661(04)80694-7","relation":{},"ISSN":["1571-0661"],"issn-type":[{"value":"1571-0661","type":"print"}],"subject":[],"published":{"date-parts":[[2003,11]]}}}