Implementation strategies for continuations
LFP '88 Proceedings of the 1988 ACM conference on LISP and functional programming
Scripted documents: a hypermedia path mechanism
HYPERTEXT '89 Proceedings of the second annual ACM conference on Hypertext
Lisp in small pieces
Revised5 report on the algorithmic language scheme
ACM SIGPLAN Notices
A runtime system for interactive Web services
WWW '99 Proceedings of the eighth international conference on World Wide Web
Science of Computer Programming - Special issue on mathematics of program construction
The influence of browsers on evaluators or, continuations to program web servers
ICFP '00 Proceedings of the fifth ACM SIGPLAN international conference on Functional programming
Implementation Strategies for First-Class Continuations
Higher-Order and Symbolic Computation
WASH/CGI: Server-Side Web Scripting with Sessions and Typed, Compositional Forms
PADL '02 Proceedings of the 4th International Symposium on Practical Aspects of Declarative Languages
Experiment around a training engine
Proceedings of the IFIP 17th World Computer Congress - TC3 Stream on TelE-Learning: the Challenge for the Third Millennium
Design of a Concurrent and Distributed Language
Proceedings of the US/Japan Workshop on Parallel Symbolic Computing: Languages, Systems, and Applications
Personalizing Web Sites with Mixed-Initiative Interaction
IT Professional
Queue-based multi-processing LISP
LFP '84 Proceedings of the 1984 ACM Symposium on LISP and functional programming
Automatically Restructuring Programs for the Web
Proceedings of the 16th IEEE international conference on Automated software engineering
Extending Java for high-level Web service construction
ACM Transactions on Programming Languages and Systems (TOPLAS)
Automatically Restructuring Programs for the Web
Automated Software Engineering
Design and semantics of quantum: a language to control resource consumption in distributed computing
DSL'97 Proceedings of the Conference on Domain-Specific Languages on Conference on Domain-Specific Languages (DSL), 1997
Proceedings of the eleventh ACM SIGPLAN international conference on Functional programming
Implementation and use of the PLT scheme Web server
Higher-Order and Symbolic Computation
A static simulation of dynamic delimited control
Higher-Order and Symbolic Computation
Specification and Verification of Web Applications in Rewriting Logic
FM '09 Proceedings of the 2nd World Congress on Formal Methods
A substructural type system for delimited continuations
TLCA'07 Proceedings of the 8th international conference on Typed lambda calculi and applications
Delimited continuations in operating systems
CONTEXT'07 Proceedings of the 6th international and interdisciplinary conference on Modeling and using context
Model-checking web applications with web-TLR
ATVA'10 Proceedings of the 8th international conference on Automated technology for verification and analysis
Ludics and web: another reading of standard operations
Ludics, dialogue and interaction
Experiences on a design approach for interactive web applications
WebApps'11 Proceedings of the 2nd USENIX conference on Web application development
Family of abstract interpretations for static analysis of concurrent higher-order programs
SAS'11 Proceedings of the 18th international conference on Static analysis
A multi-tier semantics for Hop
Higher-Order and Symbolic Computation
A rewriting logic approach to the formal specification and verification of web applications
Science of Computer Programming
Hi-index | 0.00 |
Programming web applications in direct style with the help of continuations is a much simpler, safer, modular and better-performing technology than the current dominating "page-centric" technology combining CGI scripts, active pages or servlets. This paper discusses the use of continuations in the context of web applications, the problems they solve as well as some new problems they introduce.