Pascal Fontaine

1 paper in the IJCAI proceedings

IJCAI 2021

Politeness for the Theory of Algebraic Datatypes (Extended Abstract)

with Ying Sheng, Yoni Zohar, Christophe Ringeissen, Jane Lange, Clark Barrett

doi:10.24963/ijcai.2021/660

Details PDF

Future Conferences

AI Journal Division

IJCAI Proceedings