Logic & Programming

Talk on the topic of my POPL 2017 paper https://chocola.ens-lyon.fr/

https://chocola.ens-lyon.fr/

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