From a Functional Programming seminar at Ericsson, 21 February 2008
(See The full article for more details).
John Launchbury
“High-Assurance Software”
(Slides)
From a Functional Programming seminar at Ericsson, 21 February 2008
(See The full article for more details).
John Launchbury
“High-Assurance Software”
(Slides)
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”
(Slides)
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”
(Slides)