Semantic Domain

Ever since I learned about them, I've thought of call-by-push-value and  focusing (aka polarization) as essentially two different vie...

I have two new draft papers to publicize. The first is a paper with Pierre Pradic and Nick Benton: Integrating Linear and Depend...

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

\[\newcommand{\Good}{\mathrm{Good}} \newcommand{\Godlike}{\mathrm{Godlike}} \newcommand{\EssenceOf}{\mathrm{EssenceOf}} \newcommand{\Essen...