(Apologies if you receive multiple copies of this announcement)
BCS-FACS Evening Seminar Series
Professor Philip Wadler (University of Edinburgh)
5 April 2011
BCS London Offices
The Davidson Building
5 Southampton Street
London WC2E 7HA
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.B...@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