POPL 2017
Sun 15 - Sat 21 January 2017
Sun 15 Jan 2017 15:10 - 15:30 at Salle 105, Barre 44-54 - First Afternoon Session Chair(s): Bas Spitters

Abstract and slides can be found at: https://github.com/Zimmi48/TTT2017

Abstract (coq-prolog.pdf)116KiB

Sun 15 Jan