1,619 followers Europe PMC articles @EuropePMC New from #ERC_Research https://t.co/ts94p4z8uN Politeness for the Theory of Algebraic Datatypes. 04 Jul 2020 Reply Repost Favourite