Lambda the Ultimate

inactiveTopic The Fun of Programming
started 12/22/2002; 6:56:51 AM - last post 6/21/2003; 11:55:26 AM
Ehud Lamm - The Fun of Programming  blueArrow
12/22/2002; 6:56:51 AM (reads: 2444, responses: 3)
The Fun of Programming
A symposium in honour of Professor Richard Bird's 60th birthday

Examination Schools, Oxford. 24th and 25th March, 2003

If any LtU reader is going to be there, I here by announce that we will gladly publish your report here on the best PL web site on the net.

The list of speakers is very impressive, so the book is likely to become a must.

But don't worry, I can think of many more topics for the next festschrift, and we will continue to mention them here daily (since I don't know is who is going to turn 60 next and, more importantly, when ).


Posted to functional by Ehud Lamm on 12/22/02; 6:59:16 AM

Patrick Logan - Re: The Fun of Programming  blueArrow
12/22/2002; 5:02:58 PM (reads: 784, responses: 0)
Click through the list of speakers and find that a number of papers and slides on the topics are on the authors' web sites. Including an interesting one from John Hughes on QuickCheck for specification-based testing. (Ties into the long discussion on the scripting languages topic from a few days ago.)

andrew cooke - Re: The Fun of Programming  blueArrow
6/18/2003; 3:07:47 PM (reads: 448, responses: 1)
Hurray - my copy just arrived! (particularly welcome as it was delivered in the middle of me trying to debug some Java code by phone with someone who doesn't speak English at all and whose Spanish is so rapid that most native speakers don't understand what he says either...)

The chapter on financial contracts is fascinating. I'm sure this was mentioned somewhere here at the time (and if the site wasn't so slow I'd look for a reference).

Ehud Lamm - Re: The Fun of Programming  blueArrow
6/21/2003; 11:55:26 AM (reads: 466, responses: 0)
See here.