{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,3,26]],"date-time":"2025-03-26T15:08:25Z","timestamp":1743001705534,"version":"3.40.3"},"publisher-location":"Cham","reference-count":27,"publisher":"Springer Nature Switzerland","isbn-type":[{"type":"print","value":"9783031745577"},{"type":"electronic","value":"9783031745584"}],"license":[{"start":{"date-parts":[[2025,1,1]],"date-time":"2025-01-01T00:00:00Z","timestamp":1735689600000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"},{"start":{"date-parts":[[2025,1,1]],"date-time":"2025-01-01T00:00:00Z","timestamp":1735689600000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2025]]},"DOI":"10.1007\/978-3-031-74558-4_4","type":"book-chapter","created":{"date-parts":[[2025,1,9]],"date-time":"2025-01-09T04:34:38Z","timestamp":1736397278000},"page":"75-91","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":0,"title":["Compositional Views in\u00a0Compositional Images \u2013 Category: Research \u2013"],"prefix":"10.1007","author":[{"ORCID":"https:\/\/orcid.org\/0000-0002-3585-7165","authenticated-orcid":false,"given":"Peter","family":"Achten","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"ORCID":"https:\/\/orcid.org\/0000-0002-3688-0957","authenticated-orcid":false,"given":"Pieter","family":"Koopman","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2025,1,10]]},"reference":[{"key":"4_CR1","unstructured":"image.rkt, November 2023. https:\/\/docs.racket-lang.org\/teachpack\/2htdpimage.html"},{"key":"4_CR2","doi-asserted-by":"publisher","unstructured":"Abou-Saleh, F., Cheney, J., Gibbons, J., McKinna, J., Stevens, P.: Introduction to Bidirectional Transformations, pp. 1\u201328. Springer, Cham (2018). https:\/\/doi.org\/10.1007\/978-3-319-79108-1_1","DOI":"10.1007\/978-3-319-79108-1_1"},{"key":"4_CR3","unstructured":"Achten, P.: Mix and match deep and shallow embeddings for interactive web based SVG content. In: The 35th Symposium on Implementation and Application of Functional Languages (2023). Under submission"},{"issue":"1","key":"4_CR4","doi-asserted-by":"publisher","first-page":"81","DOI":"10.1017\/S0956796800001258","volume":"5","author":"P Achten","year":"1995","unstructured":"Achten, P., Plasmeijer, R.: The ins and outs of Concurrent Clean I\/O. J. Funct. Program. 5(1), 81\u2013110 (1995)","journal-title":"J. Funct. Program."},{"key":"4_CR5","doi-asserted-by":"publisher","unstructured":"Achten, P., Plasmeijer, R.: The implementation of interactive local state transition systems in Clean. In: Koopman, P., Clack, C. (eds.) Proceedings of the 11th International Workshop on the Implementation of Functional Languages, IFL 1999. LNCS, vol. 1868, pp. 115\u2013130. Springer, Cham (2000). https:\/\/doi.org\/10.1007\/10722298_7","DOI":"10.1007\/10722298_7"},{"key":"4_CR6","doi-asserted-by":"publisher","unstructured":"Achten, P., Stutterheim, J., Domoszlai, L., Plasmeijer, R.: Task oriented programming with purely compositional interactive scalable vector graphics. In: Tobin-Hochstadt, S. (ed.) Proceedings of the 26nd 2014 International Symposium on Implementation and Application of Functional Languages, IFL 2014, pp. 7:1\u20137:13. ACM, New York, NY, USA (2014). https:\/\/doi.org\/10.1145\/2746325.2746329","DOI":"10.1145\/2746325.2746329"},{"key":"4_CR7","doi-asserted-by":"publisher","unstructured":"Alimarine, A., Plasmeijer, R.: A generic programming extension for Clean. In: Arts, T., Mohnen, M. (eds.) Selected Papers of the 13th International Workshop on the Implementation of Functional Languages, IFL 2001, Stockholm, Sweden. LNCS, vol.\u00a02312, pp. 168\u2013186. Springer, Cham (2002). https:\/\/doi.org\/10.1007\/3-540-46028-4_11","DOI":"10.1007\/3-540-46028-4_11"},{"key":"4_CR8","doi-asserted-by":"publisher","unstructured":"Barendsen, E., Smetsers, S.: Conventional and uniqueness typing in graph rewrite systems (extended abstract). In: Shyamasundar, R. (ed.) Proceedings of the Conference on the Foundations of Software Technology and Theoretical Computer Science, FSTTCS 1993, Bombay, India. LNCS, vol.\u00a0761, pp. 41\u201351. Springer, Cham (1993). https:\/\/doi.org\/10.1007\/3-540-57529-4_42","DOI":"10.1007\/3-540-57529-4_42"},{"key":"4_CR9","doi-asserted-by":"crossref","unstructured":"Carlsson, M., Hallgren, T.: Fudgets - a graphical user interface in a lazy functional language. In: Proceedings of the 6th International Conference on Functional Programming Languages and Computer Architecture, FPCA 1993, Kopenhagen, Denmark (1993)","DOI":"10.1145\/165180.165228"},{"key":"4_CR10","unstructured":"Courtney, A., Elliott, C.: Genuinely functional user interfaces. In: Proceedings of the 5th Haskell Workshop, Haskell 2001, September 2001"},{"key":"4_CR11","unstructured":"Dahlstr\u00f6m, E., et al.: Scalable vector graphics (SVG) 1.1 (second edition). Technical report. REC-SVG11-20110816, W3C Recommendation 16 August 2011 (2011)"},{"key":"4_CR12","doi-asserted-by":"crossref","unstructured":"Elliot, C.: Functional images. In: Gibbons, J., de Moor, O. (eds.) The Fun of Programming, pp. 131\u2013150. Palgrave Macmillan (2003)","DOI":"10.1007\/978-1-349-91518-7_7"},{"key":"4_CR13","doi-asserted-by":"crossref","unstructured":"Elliot, C., Hudak, P.: Functional reactive animation. In: Proceedings International Conference on Functional Programming, ICFP 1997, pp. 263\u2013273, Netherlands, Amsterdam, June 1997","DOI":"10.1145\/258948.258973"},{"key":"4_CR14","doi-asserted-by":"publisher","unstructured":"Evers, S., Achten, P.M., Kuper, J.: A functional programming technique for forms in graphical user interfaces. In: Grelck, C., Huch, F., Michaelson, G., Trinder, P. (eds.) Proceedings of the 16th International Symposium on the Implementation and Application of Functional Languages, IFL 2004. LNCS, vol.\u00a03474, pp. 35\u201351. Springer, Cham (2004). https:\/\/doi.org\/10.1007\/11431664_3","DOI":"10.1007\/11431664_3"},{"key":"4_CR15","doi-asserted-by":"crossref","unstructured":"Evers, S., Achten, P.M., Plasmeijer, M.J.: Disjoint forms in graphical user interfaces. In: Loidl, H.W. (ed.) Proceedings of the 5th Symposium on Trends in Functional Programming, TFP 2004, pp. 113\u2013128, Munich, Germany (2004)","DOI":"10.2307\/j.ctv36xw0k5.11"},{"key":"4_CR16","doi-asserted-by":"crossref","unstructured":"van Groningen, J., van Noort, T., Achten, P., Koopman, P., Plasmeijer, R.: Exchanging sources between Clean and Haskell: a double-edged front end for the Clean compiler. In: Gibbons, J. (ed.) Haskell 2010: Proceedings of the Third ACM Haskell Symposium on Haskell, pp. 49\u201360. ACM (2010)","DOI":"10.1145\/1863523.1863530"},{"key":"4_CR17","doi-asserted-by":"crossref","unstructured":"Henderson, P.: Functional geometry. In: Friedman, D., Wise, D. (eds.) Conference Record of the 1982 ACM Symposium on LISP and Functional Programming, pp. 179\u2013187. ACM Press, Pittsburgh, Pennsylvania (1982). http:\/\/www.ecs.soton.ac.uk\/~ph\/funcgeo.pdf","DOI":"10.1145\/800068.802148"},{"key":"4_CR18","doi-asserted-by":"crossref","unstructured":"Hinze, R.: A new approach to generic functional programming. In: Reps, T. (ed.) Proceedings of the 27th International Symposium on Principles of Programming Languages, POPL 2000, Boston, MA, USA, pp. 119\u2013132. ACM Press (2000)","DOI":"10.1145\/325694.325709"},{"key":"4_CR19","doi-asserted-by":"crossref","unstructured":"Hofmann, M., Pierce, B.C., Wagner, D.: Symmetric lenses. In: Ball, T., Sagiv, M. (eds.) Proceedings of the 38th ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, POPL 2011, Austin, TX, USA, pp. 371\u2013384. ACM (2011)","DOI":"10.1145\/1926385.1926428"},{"key":"4_CR20","doi-asserted-by":"publisher","unstructured":"Hudak, P., Courtney, A., Nilsson, H., Peterson, J.: Arrows, robots, and functional reactive programming. In: Jeuring, J., Peyton Jones, S. (eds.) Proceedings of the 4th International Summer School on Advanced Functional Programming, AFP 2003, Oxford, UK. LNCS, vol.\u00a02638, pp. 159\u2013187. Springer, Cham (2003). https:\/\/doi.org\/10.1007\/978-3-540-44833-4_6","DOI":"10.1007\/978-3-540-44833-4_6"},{"key":"4_CR21","doi-asserted-by":"crossref","unstructured":"Jansson, P., Jeuring, J.: PolyP\u2014a polytypic programming language extension. In: Conference Record of POPL 1997: The 24th ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, pp. 470\u2013482. ACM Press (1997)","DOI":"10.1145\/263699.263763"},{"issue":"3","key":"4_CR22","first-page":"26","volume":"1","author":"G Krasner","year":"1988","unstructured":"Krasner, G., Pope, S.: A cookbook for using the model-view-controller user interface paradigm in Smalltalk-80. J. Object-Oriented Program. 1(3), 26\u201349 (1988)","journal-title":"J. Object-Oriented Program."},{"key":"4_CR23","doi-asserted-by":"publisher","unstructured":"Lijnse, B., Plasmeijer, R.: Typed directional composable editors in iTasks. In: Proceedings of the 32nd Symposium on Implementation and Application of Functional Languages, IFL 2020, pp. 115\u2013126. Association for Computing Machinery, New York, NY, USA (2021). https:\/\/doi.org\/10.1145\/3462172.3462197","DOI":"10.1145\/3462172.3462197"},{"key":"4_CR24","doi-asserted-by":"crossref","unstructured":"Plasmeijer, M.J., Achten, P.M., Koopman, P.W.M.: iTasks: executable specifications of interactive work flow systems for the web. In: Proceedings of the 12th International Conference on Functional Programming, ICFP 2007, pp. 141\u2013152. ACM Press, Freiburg, Germany, 1\u20133 October 2007","DOI":"10.1145\/1291151.1291174"},{"key":"4_CR25","doi-asserted-by":"crossref","unstructured":"Plasmeijer, R., Lijnse, B., Michels, S., Achten, P., Koopman, P.: Task-oriented programming in a pure functional language. In: Proceedings of the 2012 ACM SIGPLAN International Conference on Principles and Practice of Declarative Programming, PPDP 2012, pp. 195\u2013206. ACM, Leuven, Belgium, September 2012","DOI":"10.1145\/2370776.2370801"},{"key":"4_CR26","doi-asserted-by":"publisher","unstructured":"Staps, C., Van\u00a0Groningen, J., Plasmeijer, R.: Lazy interworking of compiled and interpreted code for sandboxing and distributed systems. In: Stutterheim, J., Chin, W.N. (eds.) Implementation and Application of Functional Languages (IFL 2019), 25\u201327 September 2019, Singapore, Singapore, p.\u00a012. ACM, New York, NY, USA (2019). https:\/\/doi.org\/10.1145\/3412932.3412941","DOI":"10.1145\/3412932.3412941"},{"key":"4_CR27","unstructured":"Steenvoorden, T.J.: TopHat. Task-oriented programming with style. Ph.D. thesis (2022). https:\/\/repository.ubn.ru.nl\/handle\/2066\/253701"}],"container-title":["Lecture Notes in Computer Science","Trends in Functional Programming"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-031-74558-4_4","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,1,9]],"date-time":"2025-01-09T05:03:51Z","timestamp":1736399031000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1007\/978-3-031-74558-4_4"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2025]]},"ISBN":["9783031745577","9783031745584"],"references-count":27,"URL":"https:\/\/doi.org\/10.1007\/978-3-031-74558-4_4","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2025]]},"assertion":[{"value":"10 January 2025","order":1,"name":"first_online","label":"First Online","group":{"name":"ChapterHistory","label":"Chapter History"}},{"value":"TFP","order":1,"name":"conference_acronym","label":"Conference Acronym","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"International Symposium on Trends in Functional Programming","order":2,"name":"conference_name","label":"Conference Name","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"South Orange, NJ","order":3,"name":"conference_city","label":"Conference City","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"USA","order":4,"name":"conference_country","label":"Conference Country","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"2024","order":5,"name":"conference_year","label":"Conference Year","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"8 January 2024","order":7,"name":"conference_start_date","label":"Conference Start Date","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"11 January 2024","order":8,"name":"conference_end_date","label":"Conference End Date","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"25","order":9,"name":"conference_number","label":"Conference Number","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"tfp2024","order":10,"name":"conference_id","label":"Conference ID","group":{"name":"ConferenceInfo","label":"Conference Information"}}]}}