Semantic Domain

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...

( Note: If you're on the POPL PC, please don't read this post until after your reviewing is done.) It's been over 20 years si...

Via Michael Arntzenius (@arntzenius) on Twitter , I saw that Hillel Wayne posted the following remark: Lots of people say "FP is ea...

I'm attending ICFP 2016 in Nara, Japan (near Osaka) this year. In previous years, I've really enjoyed Edward Yang's conference t...