Ying Sheng: Politeness for The Theory of Algebraic Datatypes (IJCAR A)
Channel: IJCAR-FSCD 2020
Date: 15/07/2020

Authors: Ying Sheng, Yoni Zohar, Christophe Ringeissen, Jane Lange, Pascal Fontaine, and Clark Barrett

Aired: 2020-02-03 13:00:00 CEST (UTC+2)