Languages  >>  Programming

John Launchbury: High-Assurance Software

Language: English Quality: Average Has Audio: true Source: Other Media: Flash Posted On: 09 Mar 09
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

  • Tags:, FP Seminar, FP, Functional Programming, presentation, Seminar, FP2008, Testing, QA, Assurance, Software Development,     [SUGGEST  A  TAG]

    Created : 2008-02-29      Resolution : 540x240   Format : Flash