From a Functional Programming seminar at Ericsson, 21 February 2008

(See The full article for more details).

John Launchbury
“High-Assurance Software” (Download) (Slides)

Get the latest Flash Player to see this player.

From a Functional Programming seminar at Ericsson, 21 February 2008

(See The full article for more details).

Simon Peyton-Jones
“Composing Contracts – An Adventure in Financial Engineering” (Download) (Slides)

Get the latest Flash Player to see this player.

From a Functional Programming seminar at Ericsson, 21 February 2008

(See The full article for more details).

Simon Peyton-Jones
“Taming Effects – The Next Big Challenge” (Download) (Slides)

Get the latest Flash Player to see this player.