Thursday, September 29, 2011

Radical predicativism

›
This isn't really on-topic for this blog, but I can't resist posting this: the Princeton mathematician Edward Nelson claims to have ...
Wednesday, September 28, 2011

The most surprising paper at ICFP

›
I was just at ICFP, which was very nice -- it was my first trip ever to Japan, and I found the people very friendly. (The cuisine, alas, is ...
Monday, August 8, 2011

Functional Programming, Program Transformations, and Compiler Construction

›
I just discovered that Lex Augusteijn's 1993 PhD thesis, Functional Programming, Program Transformations, and Compiler Construction , is...
1 comment:
Wednesday, July 27, 2011

A new lambda calculus for bunched implications

›
I am going to put off syntactic extensions for a bit, and talk about an entirely different bit of proof theory instead. I am going to talk a...
Tuesday, July 26, 2011

Functional Programming as a Particular Use of Modules

›
Bob Harper sometimes gets grumbly when people say that ML is an impure language, even though he knows exactly what they mean (and, indeed, ...
6 comments:
Wednesday, July 20, 2011

Termination of guarded recursion

›
I will now give a termination proof for the guarded recursion calculus I sketched in the last two posts. This post got delayed because I tri...
Friday, July 15, 2011

Semantics of a weak delay modality

›
In my previous post, I sketched some typing rules for a guarded recursion calculus. Now I'll give its categorical semantics. So, suppose...