Gallinette à POPL 2020 in New Orleans

L’équipe Gallinette a pas moins de 4 papiers acceptés à la conférence POPL (Principles of Programming Languages) qui se tiendra en Louisiane du 19 au 25 janvier 2020 !

– « Coq Coq Correct: Verification of Type Checking and Erasure for Coq, in Coq » – Matthieu Sozeau, Simon Boulier, Yannick Forster, Nicolas Tabareau, Théo Winterhalter
– « Reduction Monads and Their Signatures » – Benedikt Ahrens, André Hirschowitz, Ambroise Lafont, Marco Maggesi
– « SyTeCi: Automating Contextual Equivalence for Higher-Order Programs with References » – Guilhem Jaber
– « The Fire Triangle: How to Mix Substitution, Dependent Elimination and Effects » – Pierre-Marie Pédrot, Nicolas Tabareau

Voir la liste des publi.

Félicitations à tous !