{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,12,13]],"date-time":"2025-12-13T23:04:21Z","timestamp":1765667061085,"version":"3.40.3"},"publisher-location":"Berlin, Heidelberg","reference-count":16,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783642403545"},{"type":"electronic","value":"9783642403552"}],"license":[{"start":{"date-parts":[[2013,1,1]],"date-time":"2013-01-01T00:00:00Z","timestamp":1356998400000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2013]]},"DOI":"10.1007\/978-3-642-40355-2_10","type":"book-chapter","created":{"date-parts":[[2013,8,29]],"date-time":"2013-08-29T22:59:15Z","timestamp":1377817155000},"page":"133-150","source":"Crossref","is-referenced-by-count":2,"title":["Clean Up the Web!"],"prefix":"10.1007","author":[{"given":"L\u00e1szl\u00f3","family":"Domoszlai","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Tam\u00e1s","family":"Kozsik","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"10_CR1","first-page":"213","volume-title":"Proceedings of the 16th ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, POPL 1989","author":"M. Abadi","year":"1989","unstructured":"Abadi, M., Cardelli, L., Pierce, B., Plotkin, G.: Dynamic typing in a statically-typed language. In: Proceedings of the 16th ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, POPL 1989, pp. 213\u2013227. ACM, New York (1989)"},{"key":"10_CR2","unstructured":"Ashkenas, J.: List of languages that compile to JavaScript, \n                  \n                    https:\/\/github.com\/jashkenas\/coffee-script\/wiki\/List-of-languages-that-compile-to-JS"},{"key":"10_CR3","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"266","DOI":"10.1007\/978-3-540-74792-5_12","volume-title":"Formal Methods for Components and Objects","author":"E. Cooper","year":"2007","unstructured":"Cooper, E., Lindley, S., Yallop, J.: Links: Web programming without tiers. In: de Boer, F.S., Bonsangue, M.M., Graf, S., de Roever, W.-P. (eds.) FMCO 2006. LNCS, vol.\u00a04709, pp. 266\u2013296. Springer, Heidelberg (2007)"},{"key":"10_CR4","unstructured":"Dijkstra, A.: The Utrecht Haskell Compiler JavaScript Backend, \n                  \n                    http:\/\/uu-computerscience.github.com\/uhc-js\/"},{"issue":"1","key":"10_CR5","first-page":"76","volume":"3","author":"L. Domoszlai","year":"2011","unstructured":"Domoszlai, L., Bru\u00ebl, E., Jansen, J.M.: Implementing a non-strict purely functional language in JavaScript. Acta Univ. Sapientiae. Informatica\u00a03(1), 76\u201398 (2011)","journal-title":"Acta Univ. Sapientiae. Informatica"},{"key":"10_CR6","unstructured":"Domoszlai, L., Plasmeijer, R.: Tasklets: Client-side evaluation for iTask3 (2012), \n                  \n                    http:\/\/people.inf.elte.hu\/dlacko\/papers\/tasklets.pdf"},{"key":"10_CR7","unstructured":"Done, C.: The FAY language, \n                  \n                    http:\/\/fay-lang.org\/"},{"key":"10_CR8","unstructured":"Ekblad, A.: Towards a DeclarativeWeb. Master\u2019s thesis, University of Gothenburg, G\u00f6teborg, Sweden (August 2012)"},{"key":"10_CR9","unstructured":"The Google Web Toolkit site, \n                  \n                    http:\/\/code.google.com\/webtoolkit\/"},{"key":"10_CR10","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"36","DOI":"10.1007\/978-3-642-16478-1_3","volume-title":"Implementation and Application of Functional Languages","author":"B. Lijnse","year":"2010","unstructured":"Lijnse, B., Plasmeijer, R.: iTasks 2: iTasks for end-users. In: Moraz\u00e1n, M.T., Scholz, S.-B. (eds.) IFL 2009. LNCS, vol.\u00a06041, pp. 36\u201354. Springer, Heidelberg (2010)"},{"key":"10_CR11","unstructured":"Loitsch, F., Serrano, M.: Hop client-side compilation. In: Proc. 7th Symposium on Trends in Functional Programming, TFP 2007 (2007)"},{"key":"10_CR12","unstructured":"Mo\u00f1ino, M.C.: The Google Web Toolkit site, \n                  \n                    http:\/\/code.google.com\/webtoolkit\/"},{"key":"10_CR13","unstructured":"Nazarov, V.: The GHCJS Haskell to Javascript translator, \n                  \n                    https:\/\/github.com\/ghcjs\/ghcjs"},{"key":"10_CR14","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","author":"M. Pil","year":"1999","unstructured":"Pil, M.: Dynamic types and type dependent functions. In: Hammond, K., Davie, T., Clack, C. (eds.) IFL 1998. LNCS, vol.\u00a01595, pp. 169\u2013185. Springer, Heidelberg (1999)"},{"key":"10_CR15","first-page":"195","volume-title":"Proceedings of the 14th Symposium on Principles and Practice of Declarative Programming, PPDP 2012","author":"R. Plasmeijer","year":"2012","unstructured":"Plasmeijer, R., Lijnse, B., Michels, S., Achten, P., Koopman, P.: Task-oriented programming in a pure functional language. In: Proceedings of the 14th Symposium on Principles and Practice of Declarative Programming, PPDP 2012, pp. 195\u2013206. ACM, New York (2012)"},{"issue":"2","key":"10_CR16","doi-asserted-by":"publisher","first-page":"161","DOI":"10.1145\/151333.151343","volume":"1","author":"D. Tarditi","year":"1992","unstructured":"Tarditi, D., Lee, P., Acharya, A.: No assembly required: compiling standard ML to C. ACM Lett. Program. Lang. Syst.\u00a01(2), 161\u2013177 (1992)","journal-title":"ACM Lett. Program. Lang. Syst."}],"container-title":["Lecture Notes in Computer Science","The Beauty of Functional Code"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-642-40355-2_10","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,1,8]],"date-time":"2020-01-08T22:30:12Z","timestamp":1578522612000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-642-40355-2_10"}},"subtitle":["Rapid Client-Side Web Development with Clean"],"short-title":[],"issued":{"date-parts":[[2013]]},"ISBN":["9783642403545","9783642403552"],"references-count":16,"URL":"https:\/\/doi.org\/10.1007\/978-3-642-40355-2_10","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2013]]}}}