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

7 thoughts on “Functional Programming Seminar

  1. Thanks for recording the great sessions Ulf.

    I’m interested in watching the panel discussion mentioned at the end of John’s talk if the video is available.

    cheers,
    Craig.

  2. Hello, My name is Manolo, i come from spain and i study in a university of Málaga in Ingeniering of Gestion Computers, and the next year i will know the funcional programming, and it`s very interesting to my knowleged.
    I want to say Thanks for these links.

    THANKS

  3. Pingback: Videos related with fuctional programming « Bloguear por bloguear…

  4. Pingback: Ulf Wiger » FP seminar panel discussion

Leave a Reply

Your email address will not be published. Required fields are marked *