Logic & Programming

I am giving a distilled tutorial during the conference PPDP 2014. The topic is writing proofs in continuation passing style, with the xase study of normalization-by-evaluation for Gödel's System T extended with delimited control. Tutorial web page is up.

https://iaddg.net/danko/PPDP-2014-tutorial/

Comment here: @danko@mamot.fr Follow using the Fediverse ID: @danko@blog.iaddg.net