Home » Évènement » Gallinette à POPL 2020 in New Orleans
Chargement Évènements

Gallinette à POPL 2020 in New Orleans

19 janvier 2020 @ 8 h 00 min - 25 janvier 2020 @ 17 h 00 min

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 !

Détails

Début :
19 janvier 2020 @ 8 h 00 min
Fin :
25 janvier 2020 @ 17 h 00 min

Catégories d’Évènement:
,
Étiquettes Évènement :

Lieu

New Orleans
Copyright : LS2N 2017 - Mentions Légales - 
 -