Fingerprint
Dive into the research topics of 'Politeness for the Theory of Algebraic Datatypes'. Together they form a unique fingerprint.- Sort by
- Weight
- Alphabetically
Politeness for the Theory of Algebraic Datatypes
Ying Sheng, Yoni Zohar, Christophe Ringeissen, Jane Lange, Pascal Fontaine, Clark Barrett
Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review