Semantic Domain

I just saw that Andy Pitts has a new draft out, An Equivalent Presentation of the Bezem-Coquand-Huber Category of Cubical Sets , with the ...

I just attended the Off the Beaten Track workshop, which is a POPL workshop where people gather to offer their new, untested, and (ideally)...

My university, the University of Birmingham , is looking for applicants to the CS PhD program. I'm putting our advertisement on my blog,...

Brzozowski derivatives are one of the shibboleths of functional programming: if you ask someone about implementing regular expressions, an...

On his blog, Bob Harper asks what, if anything, a declarative language is . He notes that "declarative" is often used to mean ...

My paper with Derek Dreyer, Internalizing Relational Parametricity in the Extensional Calculus of Constructions , has been accepted to CSL 2...

All three of the papers my coauthors and I submitted this year were accepted! Complete and Easy Bidirectional Typechecking for Higher-Ra...