Semantic Domain
Friday, March 25, 2011
A Semantic Model for GUI Programs
›
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...
Friday, January 14, 2011
Ultrametric Semantics of Reactive Programs
›
I've got a new draft paper out with Nick Benton, Ultrametric Semantics of Reactive Programs . We answer some longstanding open questions...
Friday, November 5, 2010
Research notes
›
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...
‹
Home
View web version