John Launchbury: High-Assurance Software
Category: Languages > Programming      Posted: 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...

    		•