Wadler's Blog

In the US, the SEC plans to use programs to clarify complex trades by expressing them as a computer program. This strikes me as a fine idea...

"Alexa Meade, 23, is a Washington, DC-based artist who paints on top of her subjects and puts them in real life settings. (No, you can...

Programming language researchers are among those dislocated by the flight ban caused by the eruption. FLOPS in Japan was seriously disrupte...

Apple has locked down the iPhone and iPad to a tiny set of languages (C, C++, Objective C, and Javascript), and has followed up by banning i...

RADICAL 2010, International Workshop on Relations and Data Integrity Constraints and Languages. May 10-11, 2010, Microsoft Research, Cambri...

A third obituary, written by Michael Fourman, has appeared in The Independent .

The Digital Economy Bill is slated to receive it's second reading on Tuesday 6 April, the day the government plans to call for election....

A second obituary has appeared in the Guardian.

An obituary has appeared in the Times. I believe others will appear shortly.

Stuart Beard has been developing LaTiKi, a Wiki for LaTex, as a UG4 project under my supervision. He writes as follows: I am pleased to ann...