Friday, August 10, 2018

Polarity and bidirectional typechecking

›
This past July, Max New asked me about the relationship between bidirectional typechecking and semantic notions like polarization and cal...
14 comments:
Monday, August 6, 2018

Category Theory in PL research

›
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 ...
2 comments:
Friday, August 3, 2018

The Worm Ouroboros

›
Here's a quick question: can the behaviour of the following bit of C code depend upon the semantics of the Python programming la...
Wednesday, July 25, 2018

A Typed, Algebraic Approach to Parsing

›
( 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...
3 comments:
Tuesday, April 24, 2018

Are functional programs easier to verify than imperative programs?

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

HOPE 2016 Talk Summaries

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

Löb's theorem is (almost) the Y combinator

›
As a computer scientist, one of the stranger sociological facts you'll encounter is that regular mathematicians tend to dislike it (and ...
8 comments: