Semantic Domain

Registration for the Midlands Graduate School is open! I'll be lecturing again this year on functional reactive programming, and am ver...

One of my favorite things in language design is when a high-level language feature lets you change your low-level runtime system in interest...

From the introduction to Jean-Louis Krivine's paper, Realizability Algebras: A Program to Well-Order $\mathbb{R}$ : Indeed, when we re...

Together with Jennifer Paykin and Steve Zdancewic , we have written a short note about the next phase of the long project to make GUI progr...

I'm very happy to announce that Integrating Linear and Dependent Types will appear at POPL 2015 ! The link above goes to the final vers...

Ever since I learned about them, I've thought of call-by-push-value and  focusing (aka polarization) as essentially two different vie...