{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,3,25]],"date-time":"2025-03-25T15:49:00Z","timestamp":1742917740356,"version":"3.40.3"},"publisher-location":"Berlin, Heidelberg","reference-count":26,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540285403"},{"type":"electronic","value":"9783540318729"}],"license":[{"start":{"date-parts":[[2005,1,1]],"date-time":"2005-01-01T00:00:00Z","timestamp":1104537600000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.springer.com\/tdm"},{"start":{"date-parts":[[2005,1,1]],"date-time":"2005-01-01T00:00:00Z","timestamp":1104537600000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2005]]},"DOI":"10.1007\/11546382_5","type":"book-chapter","created":{"date-parts":[[2005,9,27]],"date-time":"2005-09-27T14:44:25Z","timestamp":1127832265000},"page":"210-244","source":"Crossref","is-referenced-by-count":4,"title":["GEC: A Toolkit for Generic Rapid Prototyping of Type Safe Interactive Applications"],"prefix":"10.1007","author":[{"given":"Peter","family":"Achten","sequence":"first","affiliation":[]},{"given":"Marko","family":"van Eekelen","sequence":"additional","affiliation":[]},{"given":"Rinus","family":"Plasmeijer","sequence":"additional","affiliation":[]},{"given":"Arjen","family":"van Weelden","sequence":"additional","affiliation":[]}],"member":"297","reference":[{"key":"5_CR1","unstructured":"Abadi, M., Cardelli, L., Pierce, B., Plotkin, G., R\u00e8my, D.: Dynamic typing in polymorphic languages. In: Proc. of the ACM SIGPLAN Workshop on ML and its Applications, San Francisco (June 1992)"},{"key":"5_CR2","unstructured":"Achten, P.: Interactive Functional Programs - models, methods, and implementations. PhD thesis, University of Nijmegen, The Netherlands (1996)"},{"key":"5_CR3","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"194","DOI":"10.1007\/3-540-45361-X_12","volume-title":"Implementation of Functional Languages","author":"P. Achten","year":"2001","unstructured":"Achten, P., Jones, S.P.: Porting the Clean Object I\/O library to Haskell. In: Mohnen, M., Koopman, P. (eds.) IFL 2000. LNCS, vol.\u00a02011, pp. 194\u2013213. Springer, Heidelberg (2001)"},{"key":"5_CR4","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"304","DOI":"10.1007\/BFb0055438","volume-title":"Implementation of Functional Languages","author":"P. Achten","year":"1998","unstructured":"Achten, P., Plasmeijer, R.: Interactive Functional Objects in Clean. In: Clack, C., Hammond, K., Davie, T. (eds.) IFL 1997. LNCS, vol.\u00a01467, pp. 304\u2013321. Springer, Heidelberg (1998)"},{"key":"5_CR5","doi-asserted-by":"crossref","unstructured":"Achten, P., van Eekelen, M., Plasmeijer, R., van Weelden, A.: Arrows for Generic Graphical Editor Components. Technical report NIII-R0416, Nijmegen Institute for Computing and Information Sciences, University of Nijmegen, The Netherlands (2004), available at http:\/\/www.niii.kun.nl\/research\/reports\/full\/NIII-R0416.pdf","DOI":"10.1007\/978-3-540-27861-0_10"},{"key":"5_CR6","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"152","DOI":"10.1007\/978-3-540-27861-0_10","volume-title":"Implementation of Functional Languages","author":"P. Achten","year":"2004","unstructured":"Achten, P., van Eekelen, M., Plasmeijer, R.: Generic Graphical User Interfaces. In: Trinder, P., Michaelson, G.J., Pe\u00f1a, R. (eds.) IFL 2003. LNCS, vol.\u00a03145, pp. 152\u2013167. Springer, Heidelberg (2004)"},{"key":"5_CR7","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"39","DOI":"10.1007\/978-3-540-24836-1_4","volume-title":"Practical Aspects of Declarative Languages","author":"P. Achten","year":"2004","unstructured":"Achten, P., van Eekelen, M., Plasmeijer, R.: Compositional Model-Views with Generic Graphical User Interfaces. In: Jayaraman, B. (ed.) PADL 2004. LNCS, vol.\u00a03057, pp. 39\u201355. Springer, Heidelberg (2004)"},{"key":"5_CR8","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"262","DOI":"10.1007\/978-3-540-30477-7_18","volume-title":"Programming Languages and Systems","author":"P. Achten","year":"2004","unstructured":"Achten, P., van Eekelen, M., Plasmeijer, R., van Weelden, A.: Automatic generation of editors for higher-order data structures. In: Chin, W.-N. (ed.) APLAS 2004. LNCS, vol.\u00a03302, pp. 262\u2013279. Springer, Heidelberg (2004)"},{"key":"5_CR9","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"168","DOI":"10.1007\/3-540-46028-4_11","volume-title":"Implementation of Functional Languages","author":"A. Alimarine","year":"2002","unstructured":"Alimarine, A., Plasmeijer, R.: A Generic Programming Extension for Clean. In: Arts, T., Mohnen, M. (eds.) IFL 2002. LNCS, vol.\u00a02312, pp. 168\u2013186. Springer, Heidelberg (2002)"},{"key":"5_CR10","first-page":"63","volume-title":"Graph Rewriting Aspects of Functional Programming","author":"E. Barendsen","year":"1999","unstructured":"Barendsen, E., Smetsers, S.: Graph Rewriting Aspects of Functional Programming, ch. 2, pp. 63\u2013102. World scientific, Singapore (1999)"},{"key":"5_CR11","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"365","DOI":"10.1007\/3-540-45306-7_26","volume-title":"Compiler Construction","author":"M.G.J. den van Brand","year":"2001","unstructured":"den van Brand, M.G.J., van Deursen, A., Heering, J., de Jong, H.A., de Jonge, M., Kuipers, T., Klint, P., Moonen, L., Olivier, P.A., Scheerder, J., Vinju, J.J., Visser, E., Visser, J.: The Asf+Sdf Meta-Environment: a Component-Based Language Development Environment. In: Wilhelm, R. (ed.) CC 2001. LNCS, vol.\u00a02027, pp. 365\u2013370. Springer, Heidelberg (2001)"},{"key":"5_CR12","doi-asserted-by":"crossref","unstructured":"Carlsson, M., Hallgren, T.: Fudgets - a graphical user interface in a lazy functional language. In: Proc. of the ACM Conference on Functional Programming and Computer Architecture, FPCA 1993, Kopenhagen, Denmark (1993)","DOI":"10.1145\/165180.165228"},{"key":"5_CR13","doi-asserted-by":"crossref","first-page":"171","DOI":"10.1145\/268946.268961","volume-title":"The 25TH ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages (POPL 1998)","author":"M. Flatt","year":"1998","unstructured":"Flatt, M., Krishnamurthi, S., Felleisen, M.: Classes and mixins. In: The 25TH ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages (POPL 1998), San Diego, California, pp. 171\u2013183. ACM, New York (1998)"},{"key":"5_CR14","first-page":"100","volume-title":"Proc. Intnl Conf. on Functional Programming","author":"K. Hanna","year":"2002","unstructured":"Hanna, K.: Interactive Visual Functional Programming. In: Jones, S.P. (ed.) Proc. Intnl Conf. on Functional Programming, October 2002, pp. 100\u2013112. ACM, New York (2002)"},{"key":"5_CR15","doi-asserted-by":"crossref","unstructured":"Hinze, R.: A new approach to generic functional programming. In: The 27th Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, Boston, Massachusetts, January 2000, pp. 119\u2013132 (2000)","DOI":"10.1145\/325694.325709"},{"key":"5_CR16","series-title":"ENTCS","volume-title":"2000 ACM SIGPLAN Haskell Workshop","author":"R. Hinze","year":"2001","unstructured":"Hinze, R., Jones, S.P.: Derivable Type Classes. In: Hutton, G. (ed.) 2000 ACM SIGPLAN Haskell Workshop, Montreal, Canada. ENTCS, vol.\u00a041(1). Elsevier Science, Amsterdam (2001)"},{"key":"5_CR17","doi-asserted-by":"publisher","first-page":"67","DOI":"10.1016\/S0167-6423(99)00023-4","volume":"37","author":"J. Hughes","year":"2000","unstructured":"Hughes, J.: Generalising Monads to Arrows. Science of Computer Programming\u00a037, 67\u2013111 (2000)","journal-title":"Science of Computer Programming"},{"issue":"3","key":"5_CR18","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. Journal of Object-Oriented Programming\u00a01(3), 26\u201349 (1988)","journal-title":"Journal of Object-Oriented Programming"},{"key":"5_CR19","doi-asserted-by":"publisher","first-page":"141","DOI":"10.1145\/944705.944719","volume-title":"ICFP 2003: Proc. of the eighth ACM SIGPLAN international conference on Functional programming","author":"A. L\u00f6h","year":"2003","unstructured":"L\u00f6h, A., Clarke, D., Jeuring, J.: Dependency-style generic haskell. In: ICFP 2003: Proc. of the eighth ACM SIGPLAN international conference on Functional programming, pp. 141\u2013152. ACM Press, New York (2003)"},{"key":"5_CR20","unstructured":"Jones, S.P., Hughes, J., et al.: Report on the programming language Haskell 1998, University of Yale (1999), http:\/\/www.haskell.org\/definition\/"},{"key":"5_CR21","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"169","DOI":"10.1007\/3-540-48515-5_11","volume-title":"Implementation of Functional Languages (IFL 1998)","author":"M. Pil","year":"1999","unstructured":"Pil, M.: Dynamic types and type dependent functions. In: Hammond, K., Davie, T., Clack, C. (eds.) Implementation of Functional Languages (IFL 1998). LNCS, pp. 169\u2013185. Springer, Heidelberg (1999)"},{"key":"5_CR22","unstructured":"Plasmeijer, R., van Eekelen, M.: Concurrent CLEAN Language Report (version 2.0) (December 2001), http:\/\/www.cs.kun.nl\/~clean\/contents\/contents.html"},{"key":"5_CR23","unstructured":"Schrage, M.: Proxima, a presentation-oriented editor for structured documents. PhD thesis, University of Utrecht (2004)"},{"key":"5_CR24","doi-asserted-by":"crossref","unstructured":"van Weelden, A., Plasmeijer, R.: A functional shell that dynamically combines compiled code. In: Trinder, P., Michaelson, G. (eds.) Selected Papers Proc. of the 15th International Workshop on Implementation of Functional Languages, IFL 2003, Heriot Watt University, Edinburgh (September 2003)","DOI":"10.1007\/978-3-540-27861-0_3"},{"key":"5_CR25","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"101","DOI":"10.1007\/3-540-44854-3_7","volume-title":"The 14th International Workshop on the Implementation of Functional Languages, IFL 2002, Selected Papers","author":"M. Vervoort","year":"2003","unstructured":"Vervoort, M., Plasmeijer, R.: Lazy dynamic input\/output in the lazy functional language Clean. In: Pe\u00f1a, R., Arts, T. (eds.) The 14th International Workshop on the Implementation of Functional Languages, IFL 2002, Selected Papers, September 2003. LNCS, vol.\u00a02670, pp. 101\u2013117. Springer, Heidelberg (2003)"},{"key":"5_CR26","doi-asserted-by":"crossref","unstructured":"Wadler, P.: Comprehending Monads. In: Proc. of the 1990 ACM Conference on Lisp and Functional Programming, Nice, France, pp. 61\u201377 (1990)","DOI":"10.1145\/91556.91592"}],"container-title":["Lecture Notes in Computer Science","Advanced Functional Programming"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/11546382_5","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2023,5,4]],"date-time":"2023-05-04T19:49:18Z","timestamp":1683229758000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1007\/11546382_5"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2005]]},"ISBN":["9783540285403","9783540318729"],"references-count":26,"URL":"https:\/\/doi.org\/10.1007\/11546382_5","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2005]]}}}