Semantic Domain

It struck me after the last post that it might be helpful to give an example using abstract binding trees in a more nontrivial way. The pur...

On reddit, Paul Chiusano asked me: I have a somewhat related question - do you know if it is possible / easy to implement one or both typech...

Together with Joshua Dunfield , I have a new draft on bidirectional type inference to announce: Sound and Complete Bidirectional Typecheck...

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