Semantic Domain

(If you are on the POPL 2020 program committee, please stop reading until after your reviews are done.) It's been a few months since I...

In my last post, I remarked that the inverse bidirectional type system was obviously algorithmic. In In my last post, I remarked that ...

\[\newcommand{\bnfalt}{\;\;|\;\;} \newcommand{\To}{\Rightarrow} \newcommand{\From}{\Leftarrow} \newcommand{\rule}[2]{\frac{\displaystyle \b...

It has been a busy year for me so far, and it's nice to be able to tell the world about some of the fruits of that labour. In the next f...

This past July, Max New asked me about the relationship between bidirectional typechecking and semantic notions like polarization and cal...

Over on Twitter, Max New wrote : Maybe the reason category theory seems useless for PL to many people is that it only gets really useful ...

Here's a quick question: can the behaviour of the following bit of C code depend upon the semantics of the Python programming la...