{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,5]],"date-time":"2024-09-05T18:55:51Z","timestamp":1725562551439},"publisher-location":"Berlin, Heidelberg","reference-count":22,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540222538"},{"type":"electronic","value":"9783540248361"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2004]]},"DOI":"10.1007\/978-3-540-24836-1_16","type":"book-chapter","created":{"date-parts":[[2010,8,8]],"date-time":"2010-08-08T19:50:55Z","timestamp":1281297055000},"page":"224-238","source":"Crossref","is-referenced-by-count":20,"title":["Typing XHTML Web Applications in ML"],"prefix":"10.1007","author":[{"given":"Martin","family":"Elsman","sequence":"first","affiliation":[]},{"given":"Ken Friis","family":"Larsen","sequence":"additional","affiliation":[]}],"member":"297","reference":[{"key":"16_CR1","doi-asserted-by":"crossref","unstructured":"Blume, M.: No-longer-foreign: Teaching an ML compiler to speak C \u201cnatively\u201d. In: Workshop on Multi-language Infrastructure and Interoperability (September 2001)","DOI":"10.1016\/S1571-0661(05)80452-9"},{"key":"16_CR2","doi-asserted-by":"crossref","unstructured":"Brabrand, C., M\u00f8ller, A., Schwartzbach, M.: Static validation of dynamically generated HTML. In: Workshop on Program Analysis for Software Tools and Engineering (June 2001)","DOI":"10.7146\/brics.v8i9.20464"},{"issue":"2","key":"16_CR3","doi-asserted-by":"publisher","first-page":"79","DOI":"10.1145\/514183.514184","volume":"2","author":"C. Brabrand","year":"2002","unstructured":"Brabrand, C., M\u00f8ller, A., Schwartzbach, M.: The <bigwig> project. Transactions on Internet Technology\u00a02(2), 79\u2013114 (2002)","journal-title":"Transactions on Internet Technology"},{"key":"16_CR4","doi-asserted-by":"crossref","unstructured":"Christensen, A.: M\u00f8ller, and M. Schwartzbach. Extending Java for high-level Web service construction. Transactions on Programming Languages and Systems 25(6) (November 2003)","DOI":"10.1145\/945885.945890"},{"key":"16_CR5","doi-asserted-by":"crossref","unstructured":"Elsman, M., Hallenberg, N.: Web programming with SMLserver. In: Int. Symposium on Practical Aspects of Declarative Languages (January 2003)","DOI":"10.1007\/3-540-36388-2_7"},{"key":"16_CR6","unstructured":"Elsman, M., Larsen, K.F.: Typing XHTML web applications in SMLserver. Technical Report ITU-TR-2003-34, IT University of Copenhagen, Denmark (2003)"},{"key":"16_CR7","doi-asserted-by":"crossref","unstructured":"Finne, S., Leijen, D., Meijer, E., Peyton Jones, S.: Calling hell from heaven and heaven from hell. In: Int. Conference on Functional programming (1999)","DOI":"10.1145\/317636.317790"},{"key":"16_CR8","doi-asserted-by":"crossref","unstructured":"Fluet, M., Pucella, R.: Phantom types and subtyping. In: Int. Conference on Theoretical Computer Science (August 2002)","DOI":"10.1007\/978-0-387-35608-2_37"},{"issue":"4","key":"16_CR9","doi-asserted-by":"publisher","first-page":"409","DOI":"10.1017\/S0956796800003658","volume":"10","author":"D. Fridlender","year":"2000","unstructured":"Fridlender, D., Indrika, M.: Functional pearl: Do we need dependent types? Journal of Functional Programming\u00a010(4), 409\u2013415 (2000)","journal-title":"Journal of Functional Programming"},{"key":"16_CR10","doi-asserted-by":"crossref","unstructured":"Graunke, P., Findler, R., Krishnamurthi, S., Felleisen, M.: Modeling web interactions. In: European Symposium On Programming (April 2003)","DOI":"10.1007\/3-540-36575-3_17"},{"key":"16_CR11","doi-asserted-by":"crossref","unstructured":"Graunke, P., Krishnamurthi, S., Findler, R., Felleisen, M.: Automatically restructuring programs for the Web. In: Int. Conference on Automated Software Engineering (September 2001)","DOI":"10.1109\/ASE.2001.989807"},{"issue":"2","key":"16_CR12","doi-asserted-by":"publisher","first-page":"109","DOI":"10.1145\/227699.227700","volume":"18","author":"C.V. Hall","year":"1996","unstructured":"Hall, C.V., Hammond, K., Peyton Jones, S., Wadler, P.: Type classes in Haskell. Transactions on Programming Languages and Systems\u00a018(2), 109\u2013138 (1996)","journal-title":"Transactions on Programming Languages and Systems"},{"key":"16_CR13","doi-asserted-by":"crossref","unstructured":"Leijen, D., Meijer, E.: Domain specific embedded compilers. In: Conference on Domain-specific languages (2000)","DOI":"10.1145\/331963.331977"},{"issue":"4&5","key":"16_CR14","doi-asserted-by":"crossref","first-page":"375","DOI":"10.1017\/S0956796802004355","volume":"12","author":"C. McBride","year":"2002","unstructured":"McBride, C.: Faking it: Simulating dependent types in Haskell. Journal of Functional Programming\u00a012(4&5), 375\u2013392 (2002)","journal-title":"Journal of Functional Programming"},{"issue":"1","key":"16_CR15","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1017\/S0956796899003561","volume":"10","author":"E. Meijer","year":"2000","unstructured":"Meijer, E.: Server side Web scripting in Haskell. Journal of Functional Programming\u00a010(1), 1\u201318 (2000)","journal-title":"Journal of Functional Programming"},{"key":"16_CR16","doi-asserted-by":"crossref","unstructured":"Queinnec, C.: The influence of browsers on evaluators or, continuations to program Web servers. In: Int. Conference on Functional Programming (September 2000)","DOI":"10.1145\/351240.351243"},{"key":"16_CR17","doi-asserted-by":"crossref","unstructured":"Sandholm, A., Schwartzbach, M.: A type system for dynamic Web documents. In: Symposium on Principles of Programming Languages (January 2000)","DOI":"10.1145\/325694.325733"},{"key":"16_CR18","doi-asserted-by":"crossref","unstructured":"Thiemann, P.: Programmable type systems for domain specific languages. In: Workshop on Functional and Logic Programming (June 2002)","DOI":"10.1016\/S1571-0661(04)80796-5"},{"issue":"4&5","key":"16_CR19","doi-asserted-by":"crossref","first-page":"435","DOI":"10.1017\/S0956796802004392","volume":"12","author":"P. Thiemann","year":"2002","unstructured":"Thiemann, P.: A typed representation for HTML and XML documents in Haskell. Journal of Functional Programming\u00a012(4&5), 435\u2013468 (2002)","journal-title":"Journal of Functional Programming"},{"key":"16_CR20","doi-asserted-by":"crossref","unstructured":"Thiemann, P.: Wash\/CGI: Server-side Web scripting with sessions and typed, compositional forms. In: Conference on Practical Aspects of Declarative Languages (January 2002)","DOI":"10.1007\/3-540-45587-6_13"},{"key":"16_CR21","unstructured":"W3C. XHTMLTM 1.0: The extensible hypertext markup language (January 2000), 2 edn., http:\/\/www.w3.org\/TR\/xhtml1 (revised August 2002)"},{"key":"16_CR22","doi-asserted-by":"crossref","unstructured":"Yang, Z.: Encoding types in ML-like languages. In: Int. Conference on Functional Programming (September 1998)","DOI":"10.1145\/289423.289458"}],"container-title":["Lecture Notes in Computer Science","Practical Aspects of Declarative Languages"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-540-24836-1_16.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,11,19]],"date-time":"2020-11-19T04:56:42Z","timestamp":1605761802000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-540-24836-1_16"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2004]]},"ISBN":["9783540222538","9783540248361"],"references-count":22,"URL":"https:\/\/doi.org\/10.1007\/978-3-540-24836-1_16","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2004]]}}}