{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,10,28]],"date-time":"2025-10-28T00:26:56Z","timestamp":1761611216145,"version":"3.33.0"},"publisher-location":"Berlin, Heidelberg","reference-count":21,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540008866"},{"type":"electronic","value":"9783540365754"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2003]]},"DOI":"10.1007\/3-540-36575-3_17","type":"book-chapter","created":{"date-parts":[[2007,10,27]],"date-time":"2007-10-27T21:52:15Z","timestamp":1193521935000},"page":"238-252","source":"Crossref","is-referenced-by-count":23,"title":["Modeling Web Interactions"],"prefix":"10.1007","author":[{"given":"Paul","family":"Graunke","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Robert Bruce","family":"Findler","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Shriram","family":"Krishnamurthi","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Matthias","family":"Felleisen","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2003,2,28]]},"reference":[{"issue":"3","key":"17_CR1","doi-asserted-by":"publisher","first-page":"334","DOI":"10.1109\/32.798323","volume":"25","author":"D. L. Atkins","year":"1999","unstructured":"Atkins, D. L., T. Ball, G. Bruns and K. C. Cox. Mawl: A domain-specific language for form-based services. Software Engineering, 25(3):334\u2013346, 1999.","journal-title":"Software Engineering"},{"key":"17_CR2","unstructured":"Brabrand, C., A. M\u00f8ller, A. Sandholm and M. Schwartzbach. A language for developing interactive Web services, 1999. Unpublished manuscript."},{"key":"17_CR3","doi-asserted-by":"crossref","unstructured":"Brabrand, C., A. M\u00f8ller, A. Sandholm and M. I. Schwartzbach. A runtime system for interactive Web services. In Journal of Computer Networks, pages 1391\u20131401, 1999.","DOI":"10.1016\/S1389-1286(99)00025-0"},{"key":"17_CR4","unstructured":"BrightPlanet. DeepWeb. http:\/\/www.completeplanet.com\/Tutorials\/DeepWeb\/ ."},{"key":"17_CR5","doi-asserted-by":"crossref","unstructured":"Cardelli, L. Type systems. In Handbook of Computer Science and Engineering. CRC Press, 1996.","DOI":"10.1145\/234313.234418"},{"key":"17_CR6","unstructured":"Coward, D. Java servlet specification version 2.3, October 2000. http:\/\/java.sun.com\/products\/servlet\/ ."},{"key":"17_CR7","unstructured":"Dierks, T. and C. Allen. The transport layer security protocol, January 1999. http:\/\/www.ietf.org\/rfc\/rfc2246.txt ."},{"key":"17_CR8","doi-asserted-by":"crossref","first-page":"235","DOI":"10.1016\/0304-3975(92)90014-7","volume":"102","author":"M. Felleisen","year":"1992","unstructured":"Felleisen, M. and R. Hieb. The revised report on the syntactic theories of sequential control and state. Theoretical Computer Science, 102:235\u2013271, 1992. Original version in: Technical Report 89-100, Rice University, June 1989.","journal-title":"Theoretical Computer Science"},{"key":"17_CR9","unstructured":"Freier, A. O., P. Karlton and P. C. Kocher. Secure socket layer 3.0, November 1996. IETF Draft http:\/\/wp.netscape.com\/eng\/ssl3\/ssl-toc.html ."},{"key":"17_CR10","unstructured":"Gamma, E., R. Helm, R. Johnson and J. Vlissides. Design Patterns, Elements of Reusable Object-Oriented Software. Addison-Wesley, 1994."},{"key":"17_CR11","unstructured":"Graham, P. Beating the averages. http:\/\/www.paulgraham.com\/avg.html ."},{"key":"17_CR12","doi-asserted-by":"crossref","unstructured":"Graunke, P., R. B. Findler, S. Krishnamurthi and M. Felleisen. Automatically restructuring programs for theWeb. In IEEE International Conference onAutomated Software Engineering, pages 211\u2013222, 2001.","DOI":"10.1109\/ASE.2001.989807"},{"key":"17_CR13","doi-asserted-by":"crossref","unstructured":"Graunke, P., S. Krishnamurthi, S. van der Hoeven and M. Felleisen. Programming the Web with high-level programming languages. In European Symposium on Programming, pages 122\u2013136, 2001.","DOI":"10.1007\/3-540-45309-1_9"},{"issue":"1\u20133","key":"17_CR14","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, 37(1\u20133):67\u2013111, May 2000.","journal-title":"Science of Computer Programming"},{"key":"17_CR15","unstructured":"Microsoft Corporation. http:\/\/www.microsoft.com\/net\/ ."},{"key":"17_CR16","unstructured":"NCSA. The Common Gateway Interface. http:\/\/hoohoo.ncsa.uiuc.edu\/cgi\/ ."},{"key":"17_CR17","unstructured":"Pierce, B. C. Types and Programming Languages. MIT Press, 2002."},{"key":"17_CR18","doi-asserted-by":"crossref","unstructured":"Queinnec, C. The influence of browsers on evaluators or, continuations to program Web servers. In ACM SIGPLAN International Conference on Functional Programming, pages 23\u201333, 2000.","DOI":"10.1145\/351240.351243"},{"key":"17_CR19","doi-asserted-by":"crossref","unstructured":"R\u00e9my, D. Type checking records and variants in a natural extension of ML. In ACM Symposium on Principles of Programming Languages, pages 77\u201388, 1989.","DOI":"10.1145\/75277.75284"},{"key":"17_CR20","doi-asserted-by":"crossref","unstructured":"Sandholm, A. and M. I. Schwartzbach. A type system for dynamic Web documents. In Symposium on Principles of Programming Languages, pages 290\u2013301, 2000.","DOI":"10.1145\/325694.325733"},{"key":"17_CR21","doi-asserted-by":"crossref","unstructured":"Thiemann, P. WASH\/CGI: Server-side Web scripting with sessions and typed, compositional forms. In Practical Applications of Declarative Languages, pages 192\u2013208, 2002.","DOI":"10.1007\/3-540-45587-6_13"}],"container-title":["Lecture Notes in Computer Science","Programming Languages and Systems"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-36575-3_17","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,1,21]],"date-time":"2025-01-21T23:41:09Z","timestamp":1737502869000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-36575-3_17"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2003]]},"ISBN":["9783540008866","9783540365754"],"references-count":21,"URL":"https:\/\/doi.org\/10.1007\/3-540-36575-3_17","relation":{},"ISSN":["0302-9743"],"issn-type":[{"type":"print","value":"0302-9743"}],"subject":[],"published":{"date-parts":[[2003]]}}}