Semantic Domain
Thursday, November 13, 2014
Curry-Howard for GUIs: Or, User Interfaces via Linear Temporal, Classical Linear Logic
›
Together with Jennifer Paykin and Steve Zdancewic , we have written a short note about the next phase of the long project to make GUI progr...
3 comments:
Tuesday, November 4, 2014
Integrating Linear and Dependent Types at POPL 2015
›
I'm very happy to announce that Integrating Linear and Dependent Types will appear at POPL 2015 ! The link above goes to the final vers...
1 comment:
Monday, October 20, 2014
Focusing is not Call-by-Push-Value
›
Ever since I learned about them, I've thought of call-by-push-value and focusing (aka polarization) as essentially two different vie...
15 comments:
Wednesday, July 9, 2014
Two Drafts on Dependent Types
›
I have two new draft papers to publicize. The first is a paper with Pierre Pradic and Nick Benton: Integrating Linear and Depend...
2 comments:
Tuesday, July 1, 2014
PhD opportunities at the University of Birmingham
›
My university, the University of Birmingham , is looking for applicants to the CS PhD program. I'm putting our advertisement on my blog,...
Thursday, June 19, 2014
Gödel's Ontological Argument
›
\[\newcommand{\Good}{\mathrm{Good}} \newcommand{\Godlike}{\mathrm{Godlike}} \newcommand{\EssenceOf}{\mathrm{EssenceOf}} \newcommand{\Essen...
3 comments:
‹
›
Home
View web version