{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,3,31]],"date-time":"2026-03-31T20:12:00Z","timestamp":1774987920657,"version":"3.50.1"},"reference-count":49,"publisher":"Springer Science and Business Media LLC","issue":"4","license":[{"start":{"date-parts":[[2007,10,24]],"date-time":"2007-10-24T00:00:00Z","timestamp":1193184000000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["Higher-Order Symb Comput"],"published-print":{"date-parts":[[2007,11,20]]},"DOI":"10.1007\/s10990-007-9008-y","type":"journal-article","created":{"date-parts":[[2007,10,23]],"date-time":"2007-10-23T16:11:28Z","timestamp":1193155888000},"page":"431-460","source":"Crossref","is-referenced-by-count":46,"title":["Implementation and use of the PLT scheme Web server"],"prefix":"10.1007","volume":"20","author":[{"given":"Shriram","family":"Krishnamurthi","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Peter Walton","family":"Hopkins","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Jay","family":"McCarthy","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Paul T.","family":"Graunke","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Greg","family":"Pettyjohn","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":[[2007,10,24]]},"reference":[{"key":"9008_CR1","unstructured":"Amdahl, G.M.: Validity of the single-processor approach to achieving large scale computing capabilities. In: AFIPS Conference Proceedings, vol. 30, pp. 483\u2013485 (1967)"},{"key":"9008_CR2","unstructured":"Aron, M., Sanders, D., Druschel, P., Zwaenepoel, W.: Scalable content-aware request distribution in cluster-based network servers. In: USENIX Annual Technical Conference, pp. 323\u2013336 (2000)"},{"issue":"1\u20132","key":"9008_CR3","doi-asserted-by":"crossref","first-page":"69","DOI":"10.1023\/A:1019292504731","volume":"2","author":"G. Banga","year":"1999","unstructured":"Banga, G., Druschel, P.: Measuring the capacity of a Web server under realistic loads. World Wide Web 2(1\u20132), 69\u201383 (1999)","journal-title":"World Wide Web"},{"key":"9008_CR4","unstructured":"Banga, G., Druschel, P., Mogul, J.: Resource containers: a new facility for resource management in server systems. In: Symposium on Operating System Design and Implementation, pp. 45\u201358 (1999)"},{"issue":"2","key":"9008_CR5","doi-asserted-by":"crossref","first-page":"79","DOI":"10.1145\/514183.514184","volume":"2","author":"C. Brabrand","year":"2002","unstructured":"Brabrand, C., M\u00f8ller, A., Schwartzbach, M.I.: The <bigwig> project. ACM Trans. Internet Technol. 2(2), 79\u2013114 (2002)","journal-title":"ACM Trans. Internet Technol."},{"key":"9008_CR6","unstructured":"Bray, T., Paoli, J., Sperberg-McQueen, C.: Extensible markup language XML. Technical Report, World Wide Web Consortium. Version 1.0 (1998)"},{"issue":"5","key":"9008_CR7","doi-asserted-by":"crossref","first-page":"704","DOI":"10.1145\/213978.213986","volume":"17","author":"H. Cejtin","year":"1995","unstructured":"Cejtin, H., Jagannathan, S., Kelsey, R.: Higher-order distributed objects. ACM Trans. Program. Lang. Syst. 17(5), 704\u2013739 (1995)","journal-title":"ACM Trans. Program. Lang. Syst."},{"issue":"6","key":"9008_CR8","doi-asserted-by":"crossref","first-page":"814","DOI":"10.1145\/945885.945890","volume":"25","author":"A.S. Christensen","year":"2003","unstructured":"Christensen, A.S., M\u00f8ller, A., Schwartzbach, M.I.: Extending Java for high-level Web service construction. ACM Trans. Program. Lang. Syst. 25(6), 814\u2013875 (2003)","journal-title":"ACM Trans. Program. Lang. Syst."},{"key":"9008_CR9","unstructured":"Coward, D.: Java Servlet Specification Version 2.3 (2000). http:\/\/java.sun.com\/products\/servlet\/index.html"},{"issue":"3","key":"9008_CR10","doi-asserted-by":"crossref","first-page":"183","DOI":"10.1016\/0167-6423(94)00003-4","volume":"22","author":"O. Danvy","year":"1994","unstructured":"Danvy, O.: Back to direct style. Sci. Comput. Program. 22(3), 183\u2013195 (1994)","journal-title":"Sci. Comput. Program."},{"key":"9008_CR11","unstructured":"Ducasse, S., Lienhard, A., Renggli, L.: Seaside\u2014a multiple control flow Web application framework. In: European Smalltalk User Group\u2014Research Track (2004)"},{"key":"9008_CR12","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"100","DOI":"10.1007\/978-3-540-44833-4_4","volume-title":"Advanced Functional Programming School","author":"M. Felleisen","year":"2003","unstructured":"Felleisen, M.: Developing interactive web programs. In: Jeuring, J., Peyton Jones, S. (eds.) Advanced Functional Programming School. Lecture Notes in Computer Science, vol.\u00a02638, pp. 100\u2013128. Springer, New York (2003)"},{"issue":"2","key":"9008_CR13","doi-asserted-by":"crossref","first-page":"159","DOI":"10.1017\/S0956796801004208","volume":"12","author":"R.B. Findler","year":"2002","unstructured":"Findler, R.B., Clements, J., Flanagan, C., Flatt, M., Krishnamurthi, S., Steckler, P., Felleisen, M.: DrScheme: a programming environment for scheme. J. Funct. Program. 12(2), 159\u2013182 (2002)","journal-title":"J. Funct. Program."},{"issue":"1","key":"9008_CR14","doi-asserted-by":"crossref","first-page":"104","DOI":"10.1145\/942578.807077","volume":"7","author":"M.J. Fischer","year":"1972","unstructured":"Fischer, M.J.: Lambda calculus schemata. ACM SIGPLAN Not. 7(1), 104\u2013109 (1972). In the ACM Conference on Proving Assertions about Programs","journal-title":"ACM SIGPLAN Not."},{"key":"9008_CR15","doi-asserted-by":"crossref","unstructured":"Fisler, K., Krishnamurthi, S., Meyerovich, L.A., Tschantz, M.C.: Verification and change-impact analysis of access-control policies. In: International Conference on Software Engineering, pp. 196\u2013205 (2005)","DOI":"10.1145\/1062455.1062502"},{"key":"9008_CR16","doi-asserted-by":"crossref","unstructured":"Flatt, M., Felleisen, M.: Cool modules for HOT languages. In: ACM SIGPLAN Conference on Programming Language Design and Implementation, pp. 236\u2013248 (1998)","DOI":"10.1145\/277652.277730"},{"key":"9008_CR17","doi-asserted-by":"crossref","unstructured":"Flatt, M., Findler, R.B., Krishnamurthi, S., Felleisen, M.: Programming languages as operating systems (or, revenge of the son of the lisp machine). In: ACM SIGPLAN International Conference on Functional Programming, pp. 138\u2013147 (1999)","DOI":"10.1145\/317636.317793"},{"key":"9008_CR18","unstructured":"Graham, P.: Lisp for Web-based applications (2001). http:\/\/www.paulgraham.com\/lwba.html"},{"key":"9008_CR19","doi-asserted-by":"crossref","unstructured":"Graunke, P.T., Krishnamurthi, S., van der Hoeven, S., Felleisen, M.: Programming the Web with high-level programming languages. In: European Symposium on Programming, pp. 122\u2013136 (2001)","DOI":"10.1007\/3-540-45309-1_9"},{"key":"9008_CR20","unstructured":"Herman, D.: WebPostRedirectGet (2005). http:\/\/schemecookbook.org\/Cookbook\/WebPostRedirectGet"},{"key":"9008_CR21","unstructured":"Hopkins, P.W.: Enabling complex UI in Web applications with send\/suspend\/dispatch. In: Scheme Workshop, pp. 53\u201358 (2003)"},{"issue":"1\u20133","key":"9008_CR22","doi-asserted-by":"crossref","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. Sci. Comput. Program. 37(1\u20133), 67\u2013111 (2000)","journal-title":"Sci. Comput. Program."},{"issue":"6","key":"9008_CR23","doi-asserted-by":"crossref","first-page":"52","DOI":"10.1145\/571727.571736","volume":"37","author":"O. Kiselyov","year":"2002","unstructured":"Kiselyov, O.: SXML specification. ACM SIGPLAN Not. 37(6), 52\u201358 (2002)","journal-title":"ACM SIGPLAN Not."},{"key":"9008_CR24","doi-asserted-by":"crossref","unstructured":"Krishnamurthi, S.: The Continue server. In: Symposium on the Practical Aspects of Declarative Languages, pp. 2\u201316 (2003)","DOI":"10.1007\/3-540-36388-2_2"},{"key":"9008_CR25","doi-asserted-by":"crossref","unstructured":"Krishnamurthi, S., Findler, R.B., Graunke, P., Felleisen, M.: Modeling Web interactions and errors. In: Goldin, D., Smolka, S.A., Wegner, P. (eds.) Interactive Computation: The New Paradigm, pp.\u00a0255\u2013276. Springer (2006)","DOI":"10.1007\/3-540-34874-3_11"},{"key":"9008_CR26","doi-asserted-by":"crossref","unstructured":"Krishnamurthi, S., Gray, K.E., Graunke, P.T.: Transformation-by-example for XML. In: Symposium on the Practical Aspects of Declarative Languages, pp. 249\u2013262 (2000)","DOI":"10.1007\/3-540-46584-7_17"},{"key":"9008_CR27","unstructured":"Kristol, D., Montulli, L.: HTTP state management mechanism. IETF RFC 2965 (2000). http:\/\/www.ietf.org\/rfc\/rfc2965.txt"},{"key":"9008_CR28","doi-asserted-by":"crossref","unstructured":"Ladd, D.A., Ramming, J.C.: Programming the Web: an application-oriented language for hypermedia service programming. In: International World Wide Web Conference (1995)","DOI":"10.1145\/3592626.3592673"},{"key":"9008_CR29","unstructured":"Lawall, J.L., Friedman, D.P.: Towards leakage containment. Technical Report TR-346, Indiana University, Bloomington, IN, USA (1992)"},{"issue":"4","key":"9008_CR30","doi-asserted-by":"crossref","first-page":"337","DOI":"10.1023\/B:AUSE.0000038936.09009.69","volume":"11","author":"J. Matthews","year":"2004","unstructured":"Matthews, J., Findler, R.B., Graunke, P.T., Krishnamurthi, S., Felleisen, M.: Automatically restructuring programs for the Web. Autom. Softw. Eng. J. 11(4), 337\u2013364 (2004)","journal-title":"Autom. Softw. Eng. J."},{"key":"9008_CR31","unstructured":"Meijer, E., van Velzen, D.: Haskell server pages\u2014functional programming and the battle for the middle tier. Electron. Notes Theor. Comput. Sci. 41(1). Proceedings of the ACM SIGPLAN Haskell Workshop (2000)"},{"key":"9008_CR32","unstructured":"Miller, S.G.: SISC: a complete scheme interpreter in Java (2003). http:\/\/sisc.sourceforge.net\/sisc.pdf"},{"key":"9008_CR33","unstructured":"NCSA, The common gateway interface. http:\/\/hoohoo.ncsa.uiuc.edu\/cgi\/"},{"issue":"1","key":"9008_CR34","doi-asserted-by":"crossref","first-page":"53","DOI":"10.1017\/S0956796804005350","volume":"15","author":"K. N\u00f8rmark","year":"2005","unstructured":"N\u00f8rmark, K.: Web programming in scheme with LAML. J. Funct. Program. 15(1), 53\u201365 (2005)","journal-title":"J. Funct. Program."},{"key":"9008_CR35","unstructured":"Open Market,\u00a0Inc., FastCGI specification. http:\/\/www.fastcgi.com\/"},{"key":"9008_CR36","unstructured":"Pai, V.S., Druschel, P., Zwaenepoel, W.: Flash: an efficient and portable Web server. In: USENIX Annual Technical Conference, pp. 199\u2013212 (1999)"},{"key":"9008_CR37","unstructured":"Pai, V.S., Druschel, P., Zwaenepoel, W.: IO-Lite: a unified I\/O buffering and caching system. In: Third Symposium on Operating Systems Design and Implementation, pp. 15\u201328 (1999)"},{"key":"9008_CR38","doi-asserted-by":"crossref","unstructured":"Pitman, K.: Special forms in lisp. In: Conference Record of the Lisp Conference, pp. 179\u2013187 (1980)","DOI":"10.1145\/800087.802804"},{"key":"9008_CR39","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, pp. 23\u201333 (2000)","DOI":"10.1145\/351240.351243"},{"issue":"4","key":"9008_CR40","doi-asserted-by":"crossref","first-page":"277","DOI":"10.1007\/s10990-004-4866-z","volume":"17","author":"C. Queinnec","year":"2004","unstructured":"Queinnec, C.: Continuations and Web servers. Higher-Order Symb. Comput. 17(4), 277\u2013295 (2004)","journal-title":"Higher-Order Symb. Comput."},{"key":"9008_CR41","unstructured":"Spoonhower, D., Czajkowski, G., Hawblitzel, C., Chang, C.-C., Hu, D., von Eicken, T.: Design and evaluation of an extensible Web and telephony server based on the J-kernel. Technical Report TR98-1715, Department of Computer Science, Cornell University (1998)"},{"key":"9008_CR42","unstructured":"Sun Microsystems, Inc.: JSR154\u2014Java\u2122Servlet 2.4 specification (2003). http:\/\/jcp.org\/aboutJava\/communityprocess\/final\/jsr154\/"},{"key":"9008_CR43","doi-asserted-by":"crossref","unstructured":"Thau, R.: Design considerations for the Apache server API. In: Fifth International World Wide Web Conference, pp. 1113\u20131122 (1996)","DOI":"10.1016\/0169-7552(96)00048-7"},{"key":"9008_CR44","unstructured":"The Apache Cocoon Project: User documentation. The Apache Software Foundation (2005)"},{"key":"9008_CR45","unstructured":"The Apache Software Foundation. http:\/\/www.apache.org\/"},{"key":"9008_CR46","unstructured":"The Apache Struts Project: The struts user\u2019s guide. The Apache Software Foundation (2005)"},{"key":"9008_CR47","doi-asserted-by":"crossref","unstructured":"Thiemann, P.: WASH\/CGI: server-side Web scripting with sessions and typed, compositional forms. In: Symposium on the Practical Aspects of Declarative Languages, pp. 192\u2013208 (2002)","DOI":"10.1007\/3-540-45587-6_13"},{"key":"9008_CR48","doi-asserted-by":"crossref","unstructured":"Wallace, M., Runciman, C.: Haskell and XML: generic document processing combinators vs. type-based translation. In: ACM SIGPLAN International Conference on Functional Programming, pp. 148\u2013159 (1999)","DOI":"10.1145\/317765.317794"},{"key":"9008_CR49","unstructured":"World Wide Web Consortium: XHTML 1.0: the extensible hypertext markup language (2002). http:\/\/www.w3.org\/TR\/xhtml1\/"}],"container-title":["Higher-Order and Symbolic Computation"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s10990-007-9008-y.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/article\/10.1007\/s10990-007-9008-y\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s10990-007-9008-y","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2024,2,18]],"date-time":"2024-02-18T16:22:46Z","timestamp":1708273366000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/s10990-007-9008-y"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2007,10,24]]},"references-count":49,"journal-issue":{"issue":"4","published-print":{"date-parts":[[2007,11,20]]}},"alternative-id":["9008"],"URL":"https:\/\/doi.org\/10.1007\/s10990-007-9008-y","relation":{},"ISSN":["1388-3690","1573-0557"],"issn-type":[{"value":"1388-3690","type":"print"},{"value":"1573-0557","type":"electronic"}],"subject":[],"published":{"date-parts":[[2007,10,24]]}}}