|
|
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...
|
|
|
|
John Hughes: Testing with QuickCheck
Category: Languages > Programming
Posted: 09 Mar 09
John Hughes is co-founder and CEO of Quviq AB, and the originator of Quviq QuickCheck. Schooled at a rural comprehensive in Wales, John studied at Oxford and Cambridge Universities, to be appointed Professor of Computing Science at Glasgow University at the tender age of 27. John developed a passion ...
|
|
|
|
Peyton-Jones: Taming Effects - The Next Big Challenge
Category: Languages > Programming
Posted: 09 Mar 09
Simon is a fantastic speaker, providing you can keep up with somebody who speaks fairly fast. He always conveys a real enthusiasm for what he's talking about, looks very well prepared and manages to present complex things in a very simple fashion. He's one of the people I'm slowly trying to emulate i...
|
|
An Intensive Exploration Of jQuery With Ben Nadel
Category: Web Development > Javascript
Posted: 07 Mar 09
The following video and slide show is my presentation: An Intensive Exploration Of jQuery With Ben Nadel. The presentation covers most aspects of the very robust feature-set provided by the jQuery library. While I cannot go too in-depth on any one particular topic, I do try to cover and thoroughly de...
|
|
|
|
|
|
|
|
|