Fri 29 Feb 2008
From a Functional Programming seminar at Ericsson, 21 February 2008
(See The full article for more details).
John Launchbury
“High-Assurance Software” (Download) (Slides)
Ulf Wiger
Feuerlabs Inc – @uwiger – ulf (at) feuerlabs.com
Fri 29 Feb 2008
From a Functional Programming seminar at Ericsson, 21 February 2008
(See The full article for more details).
John Launchbury
“High-Assurance Software” (Download) (Slides)
February 18th, 2009 at 5:34 pm
thanks !! very helpful post!