Memory allocation and higher-order functions
SIGPLAN '87 Papers of the Symposium on Interpreters and interpretive techniques
Scripted documents: a hypermedia path mechanism
HYPERTEXT '89 Proceedings of the second annual ACM conference on Hypertext
Lisp in small pieces
Fourth generation hypermedia: some missing links for the World Wide Web
International Journal of Human-Computer Studies - Special issue: World Wide Web usability
Service Combinators for Web Computing
IEEE Transactions on Software Engineering
Revised Report on the Algorithmic Language Scheme
Higher-Order and Symbolic Computation
A Syntactic Theory of Dynamic Binding
Higher-Order and Symbolic Computation
Design of a Concurrent and Distributed Language
Proceedings of the US/Japan Workshop on Parallel Symbolic Computing: Languages, Systems, and Applications
Continuation-based multiprocessing
LFP '80 Proceedings of the 1980 ACM conference on LISP and functional programming
The Art of the Interpreter or, The Modularity Complex (Parts Zero, One, and Two)
The Art of the Interpreter or, The Modularity Complex (Parts Zero, One, and Two)
Dreme: for life in the net
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 24th International Conference on Software Engineering
Compiling scheme to JVM bytecode:: a performance study
Proceedings of the seventh ACM SIGPLAN international conference on Functional programming
Programming the Web with High-Level Programming Languages
ESOP '01 Proceedings of the 10th European Symposium on Programming Languages and Systems
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
Web Programming with SMLserver
PADL '03 Proceedings of the 5th International Symposium on Practical Aspects of Declarative Languages
The CONTINUE Server (or, How I Administered PADL 2002 and 2003)
PADL '03 Proceedings of the 5th International Symposium on Practical Aspects of Declarative Languages
Continuations and Conversations
AIMSA '00 Proceedings of the 9th International Conference on Artificial Intelligence: Methodology, Systems, and Applications
Automatically Restructuring Programs for the Web
Proceedings of the 16th IEEE international conference on Automated software engineering
Staging transformations for multimodal web interaction management
Proceedings of the 13th international conference on World Wide Web
Advanced control flow in Java card programming
Proceedings of the 2004 ACM SIGPLAN/SIGBED conference on Languages, compilers, and tools for embedded systems
Automatically Restructuring Programs for the Web
Automated Software Engineering
Verifying Interactive Web Programs
Proceedings of the 19th IEEE international conference on Automated software engineering
Higher-Order and Symbolic Computation
Higher-Order and Symbolic Computation
An embedded domain-specific language for type-safe server-side web scripting
ACM Transactions on Internet Technology (TOIT)
Continuations from generalized stack inspection
Proceedings of the tenth ACM SIGPLAN international conference on Functional programming
Fine-grained interoperability through mirrors and contracts
OOPSLA '05 Proceedings of the 20th annual ACM SIGPLAN conference on Object-oriented programming, systems, languages, and applications
Ocsigen: typing web interaction with objective Caml
Proceedings of the 2006 workshop on ML
MetaOCaml server pages: web publishing as staged computation
Science of Computer Programming - Special issue on the first MetaOCaml workshop 2004
Aranea: web framework construction and integration kit
PPPJ '06 Proceedings of the 4th international symposium on Principles and practice of programming in Java
A history of Haskell: being lazy with class
Proceedings of the third ACM SIGPLAN conference on History of programming languages
From representations to computations: the evolution of web architectures
Proceedings of the the 6th joint meeting of the European software engineering conference and the ACM SIGSOFT symposium on The foundations of software engineering
iTasks: executable specifications of interactive work flow systems for the web
ICFP '07 Proceedings of the 12th ACM SIGPLAN international conference on Functional programming
Implementation and use of the PLT scheme Web server
Higher-Order and Symbolic Computation
Controlling Control Flow in Web Applications
Electronic Notes in Theoretical Computer Science (ENTCS)
An Introduction to iTasks: Defining Interactive Work Flows for the Web
Central European Functional Programming School
WebDSL: A Case Study in Domain-Specific Language Engineering
Generative and Transformational Techniques in Software Engineering II
Secure compilation of a multi-tier web language
Proceedings of the 4th international workshop on Types in language design and implementation
Context-oriented programming in ContextL: state of the art
Celebrating the 50th Anniversary of Lisp
Automatically RESTful web applications: marking modular serializable continuations
Proceedings of the 14th ACM SIGPLAN international conference on Functional programming
Experience report: ocsigen, a web programming framework
Proceedings of the 14th ACM SIGPLAN international conference on Functional programming
Web Verification: Perspective and Challenges
Electronic Notes in Theoretical Computer Science (ENTCS)
Program transformations for information personalization
Computer Languages, Systems and Structures
ESOP'03 Proceedings of the 12th European conference on Programming
Towards reasoning for web applications: an operational semantics for Hop
APLWACA '10 Proceedings of the 2010 Workshop on Analysis and Programming Languages for Web Applications and Cloud Applications
An iTask case study: a conference management system
AFP'08 Proceedings of the 6th international conference on Advanced functional programming
The two-state solution: native and serializable continuations accord
Proceedings of the ACM international conference on Object oriented programming systems languages and applications
Ludics and web: another reading of standard operations
Ludics, dialogue and interaction
Non-deterministic parallelism considered useful
HotOS'13 Proceedings of the 13th USENIX conference on Hot topics in operating systems
Server enforced program safety for web application engineering
Journal of Web Engineering
Computational REST meets Erlang
TOOLS'11 Proceedings of the 49th international conference on Objects, models, components, patterns
iData for the world wide web – programming interconnected web forms
FLOPS'06 Proceedings of the 8th international conference on Functional and Logic Programming
A generative programming approach to interactive information retrieval: insights and experiences
GPCE'05 Proceedings of the 4th international conference on Generative Programming and Component Engineering
Scalable programming abstractions for XML services
Dependable Systems
IFL'05 Proceedings of the 17th international conference on Implementation and Application of Functional Languages
Reasoning about Web Applications: An Operational Semantics for HOP
ACM Transactions on Programming Languages and Systems (TOPLAS)
Process-aware continuation management in web applications
Proceedings of the 27th Annual ACM Symposium on Applied Computing
Socio-PLT: principles for programming language adoption
Proceedings of the ACM international symposium on New ideas, new paradigms, and reflections on programming and software
Hi-index | 0.00 |
While developing the software of a browser-operated educational CD-ROM, we had to face a number of problems. This paper presents these problems and the solutions we found. Amusingly, most of our solutions rely on continuations. Are browsers and multimedia the future of continuations?Through their "Back" button or "Clone window" menu item, browsers have powerful abilities that force servers to take care of multiply and simultaneously answered questions. A comprehensive tool to apprehend these problems as well as to solve them is to view these abilities as operators acting on the continuations of the computation performed by servers.Thematical trails are provided to walk through the CD-ROM but do not prevent students to wander elsewhere. A trail may contain choices or quizzes so the rest of the trail should adapt to the walked part. We consider the trail as a computation and the position of the student as a continuation within that computation.Moreover this paper advocates a computation-centric view of servers (in opposition to the usual page-centric view) where interactions with users suspend the computation into continuations that may be later resumed. This approach is superior because the continuation reifies, automatically and without errors, the whole state of the computation.