POPL '96 Proceedings of the 23rd ACM SIGPLAN-SIGACT symposium on Principles of programming languages
ACM Transactions on Internet Technology (TOIT)
Web Programming with SMLserver
PADL '03 Proceedings of the 5th International Symposium on Practical Aspects of Declarative Languages
A comparison of hard-state and soft-state signaling protocols
Proceedings of the 2003 conference on Applications, technologies, architectures, and protocols for computer communications
Extending Java for high-level Web service construction
ACM Transactions on Programming Languages and Systems (TOPLAS)
Developing a high-performance web server in Concurrent Haskell
Journal of Functional Programming
Automatically Restructuring Programs for the Web
Automated Software Engineering
Haskell '04 Proceedings of the 2004 ACM SIGPLAN workshop on Haskell
An embedded domain-specific language for type-safe server-side web scripting
ACM Transactions on Internet Technology (TOIT)
Haskell server pages through dynamic loading
Proceedings of the 2005 ACM SIGPLAN workshop on Haskell
ESOP'03 Proceedings of the 12th European conference on Programming
User-level transactional programming in Haskell
Proceedings of the 2006 ACM SIGPLAN workshop on Haskell
Automatically RESTful web applications: marking modular serializable continuations
Proceedings of the 14th ACM SIGPLAN international conference on 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
| Hi-index | 0.00 |
WASH is a Haskell library for server-side web scripting. It presents a session-based abstraction to the programmer which is implemented through a CGI program running a replay monad. The present paper introduces a retargetted implementation of the WASH run-time system inside a web server. The run-time system supports uploading of WASH programs in source format to the running web server as well as a more efficient, multi-threaded execution model that eliminates the inefficient replay. In recapitulating the replay monad, we further present new operators that improve the efficiency of its log-based implementation.