Semantic Domain

Nick and I have a new draft out, on adding types for term-level equations to System F. Contrary to the experience of dependent types, this ...

I just learned that our (with Nick Benton and Jan Hoffmann) paper, Higher-Order Functional Reactive Programming in Bounded Space , was acce...

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

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 ...

I just discovered that Lex Augusteijn's 1993 PhD thesis, Functional Programming, Program Transformations, and Compiler Construction , is...

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...

Bob Harper sometimes gets grumbly when people say that ML is an impure language, even though he knows exactly what they mean (and, indeed, ...