WASH/CGI: Server-Side Web Scripting with Sessions and Typed, Compositional Forms.

Peter Thiemann

Browse the full PADL paper archive.