Semantic Domain

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

Having written a new paper on FRP of my own , I've just discovered that lots of other people have been hard at work in this area. Alan...

I've got a new draft out Simple and Efficient Higher-Order Reactive Programming . Here's the abstract: Functional reactive...

I just learned today that in classical linear logic, the following type isomorphism holds: $$ (!A \multimap R) \multimap R \qquad\simeq\qqu...

These days, most people are familiar with using monads to structure functional programs, and are also familiar with Haskell's do-notatio...