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) [See post...
View ArticleSatnam Singh: Declarative Programming Techniques for Many-Core Architectures
From a Functional Programming seminar at Ericsson, 21 February 2008 (See The full article for more details). Satnam Singh “Declarative Programming Techniques for Many-Core Architectures” (Download)...
View ArticleJohn Hughes: Testing with QuickCheck
From a Functional Programming seminar at Ericsson, 21 February 2008 (See The full article for more details). John Hughes “Testing with QuickCheck” (Download) (Slides) [See post to watch Flash video]
View ArticleSimon 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)...
View ArticleJohn 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) [See post to watch Flash video]
View ArticleFunctional Programming Seminar
Last week (21 Feb), I had the pleasure of co-hosting a seminar on Functional Programming at Ericsson. We were able to bring an impressive cast of speakers: Simon Peyton-Jones, Microsoft Research Satnam...
View ArticleFP seminar panel discussion
From a Functional Programming seminar at Ericsson, 21 February 2008 (See The full article for more details). Panel discussion (Download) [See post to watch Flash video] I finally got around to editing...
View Article
