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