Semantic Domain

Yesterday, John Reynolds passed away. I had the privilege of being one of his graduate students, and much of what I know about what it mean...

Joshua and I thought our new typechecking algorithm for higher-rank polymorphism was easy to implement, but I have to admit that we weren...

Part of the reason for the silence on this blog is that it's been a very busy spring for me. I've got three new drafts to announce, ...

I've been ridiculously busy the last few months, so this is just a quick link: An interview with John Reynolds. John retired recent...

In my last post , I showed how you could implement the Int construction over resumptions, to derive a higher-order programming language ...

In this post, I'll show how to turn the Geometry of Interaction construction --- a model of linear logic --- into a runnable Ocaml ...

In my previous post, I mentioned limit-colimit coincidence, and how the ability to define fixed points makes that possible. It turns out the...