(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 [[log in to unmask]]
by >>>2 April 2011<<<<
BCS-FACS Website: http://www.bcs-facs.org
Location of venue: http://www.bcs.org/upload/pdf/london-office-guide.pdf
|