{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,2,27]],"date-time":"2026-02-27T03:47:37Z","timestamp":1772164057251,"version":"3.50.1"},"publisher-location":"New York, NY, USA","reference-count":26,"publisher":"ACM","license":[{"start":{"date-parts":[[2014,9,3]],"date-time":"2014-09-03T00:00:00Z","timestamp":1409702400000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.acm.org\/publications\/policies\/copyright_policy#Background"}],"funder":[{"DOI":"10.13039\/501100001729","name":"Swedish Foundation for Strategic Research","doi-asserted-by":"publisher","award":["RAWFP"],"award-info":[{"award-number":["RAWFP"]}],"id":[{"id":"10.13039\/501100001729","id-type":"DOI","asserted-by":"publisher"}]}],"content-domain":{"domain":["dl.acm.org"],"crossmark-restriction":true},"short-container-title":[],"published-print":{"date-parts":[[2014,9,3]]},"DOI":"10.1145\/2633357.2633367","type":"proceedings-article","created":{"date-parts":[[2014,9,2]],"date-time":"2014-09-02T08:48:33Z","timestamp":1409647713000},"page":"79-89","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":13,"title":["A seamless, client-centric programming model for type safe web applications"],"prefix":"10.1145","author":[{"given":"Anton","family":"Ekblad","sequence":"first","affiliation":[{"name":"Chalmers University of Technology, Gothenburg, Sweden"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Koen","family":"Claessen","sequence":"additional","affiliation":[{"name":"Chalmers University of Technology, Gothenburg, Sweden"}],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"320","published-online":{"date-parts":[[2014,9,3]]},"reference":[{"key":"e_1_3_2_1_1_1","doi-asserted-by":"publisher","DOI":"10.1145\/1159876.1159889"},{"key":"e_1_3_2_1_2_1","doi-asserted-by":"crossref","first-page":"65","DOI":"10.1007\/978-3-319-04132-2_5","volume-title":"Sunroof: A Monadic DSL for Generating JavaScript.\" In Practical Aspects of Declarative Languages","author":"Bracker J.","year":"2014","unstructured":"J. Bracker and A. Gill . \" Sunroof: A Monadic DSL for Generating JavaScript.\" In Practical Aspects of Declarative Languages , pp. 65 -- 80 . Springer International Publishing , 2014 . J. Bracker and A. Gill. \"Sunroof: A Monadic DSL for Generating JavaScript.\" In Practical Aspects of Declarative Languages, pp. 65--80. Springer International Publishing, 2014."},{"key":"e_1_3_2_1_3_1","doi-asserted-by":"publisher","DOI":"10.1145\/1809028.1806612"},{"key":"e_1_3_2_1_4_1","doi-asserted-by":"publisher","DOI":"10.1017\/S0956796899003342"},{"key":"e_1_3_2_1_5_1","volume-title":"Formal Methods for Components and Objects (pp. 266--296)","author":"Cooper E.","year":"2007","unstructured":"E. Cooper , S. Lindley , P. Wadler , and J. Yallop . Links: Web programming without tiers . In Formal Methods for Components and Objects (pp. 266--296) . Springer Berlin Heidelberg , 2007 . E. Cooper, S. Lindley, P. Wadler, and J. Yallop. Links: Web programming without tiers. In Formal Methods for Components and Objects (pp. 266--296). Springer Berlin Heidelberg, 2007."},{"key":"e_1_3_2_1_6_1","unstructured":"The Conductance application server. Retrieved March 1 2014 from http:\/\/conductance.io.  The Conductance application server. Retrieved March 1 2014 from http:\/\/conductance.io."},{"key":"e_1_3_2_1_7_1","doi-asserted-by":"publisher","DOI":"10.1145\/773184.773202"},{"key":"e_1_3_2_1_8_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-41582-1_3"},{"key":"e_1_3_2_1_9_1","first-page":"76","article-title":"Implementing a non-strict purely functional language in JavaScript","volume":"3","author":"Domoszlai L.","year":"2011","unstructured":"L. Domoszlai , E. Bru\u00ebl , and J. M. Jansen . \" Implementing a non-strict purely functional language in JavaScript .\" Acta Universitatis Sapientiae 3 ( 2011 ): 76 -- 98 . L. Domoszlai, E. Bru\u00ebl, and J. M. Jansen. \"Implementing a non-strict purely functional language in JavaScript.\" Acta Universitatis Sapientiae 3 (2011): 76--98.","journal-title":"Acta Universitatis Sapientiae"},{"key":"e_1_3_2_1_10_1","volume-title":"Retrieved","author":"Done C.","year":"2014","unstructured":"C. Done . (2012, September 15). \" Fay , JavaScript , etc .\", Retrieved March 1, 2014 , from http:\/\/chrisdone.com\/posts\/fay. C. Done. (2012, September 15). \"Fay, JavaScript, etc.\", Retrieved March 1, 2014, from http:\/\/chrisdone.com\/posts\/fay."},{"key":"e_1_3_2_1_11_1","volume-title":"University of Gothenburg","author":"Ekblad A.","year":"2012","unstructured":"A. Ekblad . \" Towards a declarative web.\" Master of Science Thesis , University of Gothenburg ( 2012 ). A. Ekblad. \"Towards a declarative web.\" Master of Science Thesis, University of Gothenburg (2012)."},{"key":"e_1_3_2_1_12_1","doi-asserted-by":"publisher","DOI":"10.1145\/2096148.2034690"},{"key":"e_1_3_2_1_13_1","unstructured":"G. Guthrie. (2014 January 1). \"Your transpiler to JavaScript toolbox\". Retrieved March 1 2014 from http:\/\/luvv.ie\/2014\/01\/21\/your-transpilerto-javascript-toolbox\/.  G. Guthrie. (2014 January 1). \"Your transpiler to JavaScript toolbox\". Retrieved March 1 2014 from http:\/\/luvv.ie\/2014\/01\/21\/your-transpilerto-javascript-toolbox\/."},{"key":"e_1_3_2_1_14_1","doi-asserted-by":"publisher","DOI":"10.1145\/2554850.2554909"},{"key":"e_1_3_2_1_15_1","volume-title":"Html5 web sockets: A quantum leap in scalability for the web.\" SOA World Magazine","author":"Lubbers P.","year":"2010","unstructured":"P. Lubbers and F. Greco . \" Html5 web sockets: A quantum leap in scalability for the web.\" SOA World Magazine ( 2010 ). P. Lubbers and F. Greco. \"Html5 web sockets: A quantum leap in scalability for the web.\" SOA World Magazine (2010)."},{"key":"e_1_3_2_1_16_1","doi-asserted-by":"publisher","DOI":"10.1145\/1016848.1016856"},{"key":"e_1_3_2_1_17_1","unstructured":"V. Nazarov. \"GHCJS Haskell to JavaScript Compiler\". Retrieved March 1 2014 from https:\/\/github.com\/ghcjs\/ghcjs.  V. Nazarov. \"GHCJS Haskell to JavaScript Compiler\". Retrieved March 1 2014 from https:\/\/github.com\/ghcjs\/ghcjs."},{"key":"e_1_3_2_1_18_1","unstructured":"The Opa framework for JavaScript. Retrieved May 2 2014 from http:\/\/opalang.org.  The Opa framework for JavaScript. Retrieved May 2 2014 from http:\/\/opalang.org."},{"key":"e_1_3_2_1_19_1","volume-title":"Rich client\/server web applications in F#","author":"Petricek T.","year":"2007","unstructured":"T. Petricek , and Don Syme . \"AFAX : Rich client\/server web applications in F# .\" ( 2007 ). T. Petricek, and Don Syme. \"AFAX: Rich client\/server web applications in F#.\" (2007)."},{"key":"e_1_3_2_1_20_1","doi-asserted-by":"publisher","DOI":"10.1017\/S0956796800000319"},{"key":"e_1_3_2_1_21_1","unstructured":"S. Peyton Jones. \"Tackling the awkward squad: monadic input\/output concurrency exceptions and foreign-language calls in Haskell.\" Engineering theories of software construction 180 (2001):  47--96.  S. Peyton Jones. \"Tackling the awkward squad: monadic input\/output concurrency exceptions and foreign-language calls in Haskell.\" Engineering theories of software construction 180 (2001): 47--96."},{"key":"e_1_3_2_1_22_1","volume-title":"a C++ compiler for the Web going beyond emscripten and node.js\". Retrieved","author":"Pignotti A.","year":"2014","unstructured":"A. Pignotti . (2013, October 31). \" Duetto : a C++ compiler for the Web going beyond emscripten and node.js\". Retrieved March 1, 2014 , from http:\/\/leaningtech.com\/duetto\/blog\/2013\/10\/31\/Duetto-Released\/. A. Pignotti. (2013, October 31). \"Duetto: a C++ compiler for the Web going beyond emscripten and node.js\". Retrieved March 1, 2014, from http:\/\/leaningtech.com\/duetto\/blog\/2013\/10\/31\/Duetto-Released\/."},{"key":"e_1_3_2_1_23_1","volume-title":"Hop: a language for programming the web 2. 0.\" OOPSLA Companion","author":"Serrano M.","year":"2006","unstructured":"M. Serrano , E. Gallesio , and F. Loitsch . \" Hop: a language for programming the web 2. 0.\" OOPSLA Companion . 2006 . M. Serrano, E. Gallesio, and F. Loitsch. \"Hop: a language for programming the web 2. 0.\" OOPSLA Companion. 2006."},{"key":"e_1_3_2_1_24_1","unstructured":"B. Stroustrup. (2014 January 21). \"C++11 - the new ISO C++ standard.\" Retrieved March 1 2014 from http:\/\/www.stroustrup.com\/C++11FAQ.html.  B. Stroustrup. (2014 January 21). \"C++11 - the new ISO C++ standard.\" Retrieved March 1 2014 from http:\/\/www.stroustrup.com\/C++11FAQ.html."},{"key":"e_1_3_2_1_25_1","unstructured":"C. Taylor. (2013 March 1). \"Polyvariadic Functions and Printf\". Retrieved March 1 2014 from http:\/\/christaylor.github.io\/blog\/2013\/03\/01\/how-Haskell-printf-works\/.  C. Taylor. (2013 March 1). \"Polyvariadic Functions and Printf\". Retrieved March 1 2014 from http:\/\/christaylor.github.io\/blog\/2013\/03\/01\/how-Haskell-printf-works\/."},{"key":"e_1_3_2_1_26_1","volume-title":"Technical report 12.\" University of Wisconsin-Platterville Department of Computer Science and Software Engineering","author":"Wargolet S.","year":"2011","unstructured":"S. Wargolet . \" GoogleWeb Toolkit . Technical report 12.\" University of Wisconsin-Platterville Department of Computer Science and Software Engineering , 2011 . S. Wargolet. \"GoogleWeb Toolkit. Technical report 12.\" University of Wisconsin-Platterville Department of Computer Science and Software Engineering, 2011."}],"event":{"name":"ICFP'14: ACM SIGPLAN International Conference on Functional Programming","location":"Gothenburg Sweden","acronym":"ICFP'14","sponsor":["SIGPLAN ACM Special Interest Group on Programming Languages"]},"container-title":["Proceedings of the 2014 ACM SIGPLAN symposium on Haskell"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/2633357.2633367","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/2633357.2633367","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,18]],"date-time":"2025-06-18T02:56:11Z","timestamp":1750215371000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/2633357.2633367"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2014,9,3]]},"references-count":26,"alternative-id":["10.1145\/2633357.2633367","10.1145\/2633357"],"URL":"https:\/\/doi.org\/10.1145\/2633357.2633367","relation":{"is-identical-to":[{"id-type":"doi","id":"10.1145\/2775050.2633367","asserted-by":"object"}]},"subject":[],"published":{"date-parts":[[2014,9,3]]},"assertion":[{"value":"2014-09-03","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}