A new blog has been created for the Wand Symposium and Festschrift:
In the coming months, presenters and editors will be working on a Festschrift in honor of Mitch, as a special issue (or issues) or Higher-Order and Symbolic Computation. We’ll also be adding links to the presentation slides and videos as they become available. We’ll [...]
-
‹ Home
Contents
-
Categories
-
Archives
Blogroll
- A Neighborhood of Infinity
- Aaron Hawley (Refusal Computing)
- Aaron Stump (QA9)
- Andrej Bauer (Mathematics and Computation)
- Close Encounters of the Logical Kind (Riccardo Pucella)
- Computing Community Consortium (CCC Blog)
- Computing Research Policy Blog
- Dave Herman (The Little Calculist)
- Jacob Matthews
- Jens Axel Søgaard (Everything Scheme)
- Jereme Mongeon (test2)
- Justin Henry (Green Galoshes)
- Lambda the Ultimate
- Lance Fortnow and Bill Gasarch (Computational Complexity)
- Matt Might (Professor Might’s Blog)
- Mike Machenry (Turing Complete Waste of Time)
- Phil Wadler
- Phillip Alvelda (All the Best Bits)
- PLT Scheme
- Untyped
- Wand Symposium and Festschrift
-
RSS Feeds
-
Meta