Wadler's Blog

An update on AJAX, recommended by Vladimir Gapayev.

Merging ideas from Pi Calculus, Join Calculus, Xduce, and Cduce. An interesting blend of theory with practice, as they try to build on usin...

As David B. Wildgoose put it on Lambda the Ultimate Tired of talking about Erlang and Telephone Switches? Next time someone asks for an exam...

I spent 5-15 January visiting U Penn and attending PADL, POPL, and Plan-X in Charleston, SC. At U Penn I served on the thesis committee for ...

My experience on the Haskell committee caused me to formulate 'Wadler's Law': time spent in debating a feature doubles as one mo...

One application for Links might be a WYSIWYG editor that runs on the client, as a step toward building an IDE for Links in Links, that runs ...

Maurice Naftalin and Peter Buneman both sent me pointers to this blog entry on the same day. (Peter claims to be the faculty member describ...

I finally had a chance to properly look at LINQ. This is competitive with the DB end of Links. One can write (typed) expressions in the pro...

Recommended by Jeremy Yallop.

Example Web site to implement in Links, and to evaluate (recommended by Rodney Topor): Hugh and Dave's Wine Store, from Hugh Williams an...