Sam Lindley, Jeremy Yallop and Ezra Cooper, University of Edinburgh

Links is an experimental programming langauge, tailored to web application development. Amongst other features, it offers a way of expressing a single program, in a unified language, that runs across a client and server host. It also offers concurrency, using statically-typed Erlang-style message-passing for communication.

We will discuss the challenges that arose in implementing these features, and present our solutions. We will also give a short demo of Links showing how these and other features combine in a useful web language.