Semantic Domain

If you want to understand bottom-up parsing, one of the best places to start is Djikstra's shunting yard algorithm for parsing arithmeti...

Together with Aaron Turon, Derek Dreyer, and Deepak Garg as coauthors, we have a new draft paper out: Superificially Substructural Types . ...

The British philosopher Michael Dummett's books The Logical Basis of Metaphysics and Frege: Philosophy of Language were some of the m...

Our paper on adding equations to system F was accepted to ESOP 2012! The reviewers suggested rather a lot of improvements to the paper, s...

The final version of our POPL paper on space-bounded FRP is available now -- we bought two extra pages from the ACM, and used them to add ...

Nick and I have a new draft out, on adding types for term-level equations to System F. Contrary to the experience of dependent types, this ...

I just learned that our (with Nick Benton and Jan Hoffmann) paper, Higher-Order Functional Reactive Programming in Bounded Space , was acce...