Wadler's Blog

I received the following letter from Greg Wilson. To: Simon Peyton Jones, Phil Wadler, Guy Steele Hi, Hope you don't mind mail out of th...

Moshe Y. Vardi. 4pm Tuesday 18th April 2006. [Phil's comment: Great talk! Vardi went through the formalism step by step, which made i...

Benjamin Pierce. 4pm Monday, 17th April 2006. [Phil's comment: I had to miss the talk, but I discussed the content with Benjamin. Int...

By Kohei Honda, Martin Berger, and Nobuko Yoshida. [Phil's comment: The program logic itself looks remarkably straightforward.] Abstrac...

Thanks to Antti-Juhani Kaijanaho for adding this blog to Planet Haskell, an accumulator for blogs of Haskell-related folk.

L von Ahn, L Dabbish - Proceedings of the ACM CHI, 2004. An innovative idea: a game that you play for fun, that as a side effect produces ac...

From Jeremy Yallop: "COMET" is Alex Russell's name for AJAX with server-push over persistent connections -- quite similar to w...

I've heard it said that 'Eclipse is the new Emacs'. A frightening thought, but if true work come in helpful.

By Eric Etheridge. Spotted by Mark Evans at Lambda the Ultimate . Many people are accustomed to imperative languagues, which include C, C+...

An anarchist application, that let's you visually explore a database of directors of companies and institutions in the US, encouraging y...