Authors
Ezra Cooper, Sam Lindley, Philip Wadler, Jeremy Yallop
Publication date
2006/11/7
Book
International Symposium on Formal Methods for Components and Objects
Pages
266-296
Publisher
Springer Berlin Heidelberg
Description
Links is a programming language for web applications that generates code for all three tiers of a web application from a single source, compiling into JavaScript to run on the client and into SQL to run on the database. Links supports rich clients running in what has been dubbed ‘Ajax’ style, and supports concurrent processes with statically-typed message passing. Links is scalable in the sense that session state is preserved in the client rather than the server, in contrast to other approaches such as Java Servlets or PLT Scheme. Client-side concurrency in JavaScript and transfer of computation between client and server are both supported by translation into continuation-passing style.
Total citations
Scholar articles
E Cooper, S Lindley, P Wadler, J Yallop - International Symposium on Formal Methods for …, 2006