John Launchbury: High-Assurance Software

From a Functional Programming seminar at Ericsson, 21 February 2008

(See The full article for more details).

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

Simon Peyton-Jones: Composing Contracts – An Adventure in Financial Engineering

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)

Peyton-Jones: Taming Effects – The Next Big Challenge

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)