Evening Seminar by Prof Philip Wadler: Formlets, 5 April 2011, BCS Offices, Covent Garden, London,UK

[paul...@googlemail.com]

(Apologies if you receive multiple copies of this announcement)

BCS-FACS Evening Seminar Series

Formlets

Professor Philip Wadler (University of Edinburgh)

5 April 2011

6pm

BCS London Offices
First Floor,
The Davidson Building
5 Southampton Street
London WC2E 7HA

http://www.bcs.org/upload/pdf/london-office-guide.pdf

Bigger things should be composed of smaller ones, down to primitive
components: this is how we build most computer systems, but HTML web
forms fail to satisfy this simple principle in a fundamental way.
This talk introduces a compositional approach to building web forms.
It is based on a simple mathematical structure, idioms, introduced by
McBride and Patterson. The approach has been implemented in the Links
programming language, in libraries for OCaml, F#, Haskell, and Scheme,
and is now in use in commercial systems.

The talk is based on:
The Essence of Form Abstraction
Ezra Cooper, Sam Lindley, Philip Wadler, Jeremy Yallop. APLAS 2008.

Refreshments will be served from 5.15pm.

The seminar is free of charge and open to everyone. If you would
like to attend, please email Paul Boca [Paul...@googlemail.com]
by >>>1 April 2011<<<<

BCS-FACS Website: http://www.bcs-facs.org

Location of venue: http://www.bcs.org/upload/pdf/london-office-guide.pdf