June 5, 2019

Gödel's System T in TypeScript

Experimenting with a rudimentary type system that ensures the programs always terminate.

November 21, 2017

Impressions from EMEA Pug Challenge 2017

I had the pleasure to speak at the annual EMEA PUG Challenge conference in Prague. This is my second visit to this event. I was very excited about it because I already had fond memories of the last year's one in the Netherlands.