Fontaine, Pascal

1 publications

IJCAI 2021 Politeness for the Theory of Algebraic Datatypes (Extended Abstract) Ying Sheng, Yoni Zohar, Christophe Ringeissen, Jane Lange, Pascal Fontaine, Clark W. Barrett