Automatically RESTful web applications marking modular serializable continuations

Proceedings of the ACM SIGPLAN International Conference on Functional Programming, ICFP

Volumn , Issue , 2009, Pages 299-309

  Mccarthy, Jay ^a  

^a BRIGHAM YOUNG UNIVERSITY   (United States)

Author keywords

Continuations; Stack inspection; Web applications

Indexed keywords

COMMERCIAL APPLICATIONS; EXPRESSIVE POWER; KEY PROBLEMS; MODULAR PROGRAMS; POWER LEADS; STACK INSPECTION; SYSTEM USE; WEB APPLICATION; WEB APPLICATION DEVELOPMENT; WEB PROGRAMS; WEB SERVERS;

WEB SERVICES;

FUNCTIONAL PROGRAMMING;

EID: 70450193045     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1145/1596550.1596594     Document Type: Conference Paper

References (22)

1. John Clements, Matthew Flatt, and Matthias Felleisen. Modeling an algebraic stepper. In European Symposium on Programming, April 2001.
2. John Clements, Ayswarya Sundaram, and David Herman. Implementing continuation marks in JavaScript. In Scheme and Functional Programming Workshop, 2008.
3. Ezra Cooper, Sam Lindley, Philip Wadler, and Jeremy Yallop. Links: Web programming without tiers. In Formal Methods for Components and Objects, 2006.
4. Stéphane Ducasse, Adrian Lienhard, and Lukas Renggli. Seaside - a multiple control flow web application framework. In European Smalltalk User Group - Research Track, 2004.
5. Matthias Felleisen and Robert Hieb. The revised report on the syntactic theories of sequential control and state. Theoretical Computer Science, 102:235-271, 1992.
6. Roy T. Fielding and Richard N. Taylor. Principled design of the modern web architecture. ACM Transactions on Internet Technology, 2(2):115-150, 2002.
7. M. J. Fischer. Lambda calculus schemata. ACM SIGPLAN Notices, 7(1):104-109, 1972. In the ACM Conference on Proving Assertions about Programs.
8. Cormac Flanagan, Amr Sabry, Bruce F. Duba, and Matthias Felleisen. The essence of compiling with continuations. SIGPLAN Notices, 39(4):502-514, 2004.
9. Matthew Flatt. Composable and compilable macros. In International Conference on Functional Programming, 2002.
10. Paul Graham. Lisp for web-based applications, 2001. http://www. paulgraham.com/lwba.html.
11. Matthew Hertz, Yi Feng, and Emery D. Berger. Garbage collection without paging. In Programming Language Design and Implementation, pages 143-153, 2005.
12. Peter Walton Hopkins. Enabling complex UI in Web applications with send/suspend/dispatch. In Scheme Workshop, 2003.
13. John Hughes. Generalising monads to arrows. Science of Computer Programming, 37(1-3):67-111, May 2000.
14. Shriram Krishnamurthi. The CONTINUE server. In Practical Aspects of Declarative Langauges, January 2003.
15. Shriram Krishnamurthi, Peter Walton Hopkins, Jay McCarthy, Paul T. Graunke, Greg Pettyjohn, and Matthias Felleisen. Implementation and Use of the PLT Scheme Web Server. Higher- Order and Symbolic Computation, 2007.
16. Jacob Matthews, Robert Bruce Findler, Paul T. Graunke, Shriram Krishnamurthi, and Matthias Felleisen. Automatically restructuring programs for the Web. Automated Software Engineering, 11(4):337-364, 2004.
17. Jay McCarthy and Shriram Krishnamurthi. Interaction-safe state for the Web. In Scheme and Functional Programming, September 2006.
18. Greg Pettyjohn, John Clements, Joe Marshall, Shriram Krishnamurthi, and Matthias Felleisen. Continuations from generalized stack inspection. In International Conference on Functional Programming, September 2005.
19. Gordon D. Plotkin. Call-by-name, call-by-value, and the λ- calculus. Theoretical Computer Science, 1975.
20. Christian Queinnec. The influence of browsers on evaluators or, continuations to program web servers. In International Conference on Functional Programming, pages 23-33, 2000.
21. Peter Thiemann. Wash server pages. Functional and Logic Programming, 2006.
22. NoelWelsh and David Gurnell. Experience report: Scheme in commercial web application development. In International Conference on Functional Programming, September 2007.