FP seminar panel discussion

From a Functional Programming seminar at Ericsson, 21 February 2008

(See The full article for more details).

Panel discussion (Download)

I finally got around to editing out those few details in the discussion that initially prevented me from posting the video.

My own favourite extract from the discussion:

Simon: “If a boat is sinking with 100 people on board and you scatter some life belts in the region, then they’ll probably swim and cling on to them, right? Just because life belts float. So functional programming is good stuff, right, and is like this granite, then we’ll end up with people clinging on to it.”
Joe: “But … granite sinks.”
Simon: “Uuhm, what sinks?”
Joe: “Granite – sinks”
Simon: “…So I shouldn’t mix metaphors!”

Functional 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 Singh, Microsoft Research
  • John Hughes, Chalmers
  • John Launchbury, Galois

Some notable people in the audience were Seif Haridi, Joe Armstrong, Thomas Arts, Mary Sheeran, Koen Claessen

I want to extend my sincere thanks to all the speakers and distinguished guests, and post the seminar slides and videos of the talks for your enjoyment. Some Ericsson-specific content from the seminar has been omitted.

You may view them as streaming video, or download them and watch them locally (using e.g. VLC, QuickTime or the Wimpy FLV Player). I’ve noted some trouble viewing this many embedded flash streams on a single page, so I’ve posted each talk individually under the FP Seminar category.

Links follow, in the order in which they were presented:

Simon Peyton-Jones:
“Taming Effects – The Next Big Challenge”

Satnam Singh:
“Declarative Programming Techniques for Many-Core Architectures”

John Hughes:
“Testing with QuickCheck”

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

John Launchbury: “High-Assurance Software”

(Update)
Panel discussion

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)

John 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)

Satnam 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) (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)