Semantic Domain

The constructive lift monad is the coinductive type $T(A) \equiv \nu\alpha.\; A + \alpha.$ The intuition is that an element of this type eit...

I was just notified that the paper I wrote with Nick Benton, A Semantic Model of Graphical User Interfaces , was accepted to ICFP 2011 ! Thi...

This post was inspired by this post on William Cook's blog . I've been thinking a lot about GUIs lately, and I think model-view-cont...

One of the things I've wondered about is what the folk model of linear logic is. Basically, I've noticed that people use linear log...

Our paper on ultrametric semantics will appear at LICS 2011 ! We've got a new draft , too, on applying this to GUI programming. This tur...

I've got a new draft paper out with Nick Benton, Ultrametric Semantics of Reactive Programs . We answer some longstanding open questions...

I think I will keep some research notes online. I've tried installing MathJax, so this should not be too unreadable, either. Let me begi...