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.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