Semantic Domain

Together with Aaron Turon, Derek Dreyer, and Deepak Garg as coauthors, we have a new draft paper out: Superificially Substructural Types . ...

The British philosopher Michael Dummett's books The Logical Basis of Metaphysics and Frege: Philosophy of Language were some of the m...

Our paper on adding equations to system F was accepted to ESOP 2012! The reviewers suggested rather a lot of improvements to the paper, s...

The final version of our POPL paper on space-bounded FRP is available now -- we bought two extra pages from the ACM, and used them to add ...

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