ML Anthology

Politeness for the Theory of Algebraic Datatypes (Extended Abstract)

Ying Sheng, Yoni Zohar, Christophe Ringeissen, Jane Lange, Pascal Fontaine, Clark W. Barrett
IJCAI 2021 pp. 4829-4833
doi:10.24963/IJCAI.2021/660 /ijcai/2021/sheng2021ijcai-politeness/
PDF IJCAI Semantic Scholar

Cite

Text

Sheng et al. "Politeness for the Theory of Algebraic Datatypes (Extended Abstract)." International Joint Conference on Artificial Intelligence, 2021. doi:10.24963/IJCAI.2021/660

Markdown

[Sheng et al. "Politeness for the Theory of Algebraic Datatypes (Extended Abstract)." International Joint Conference on Artificial Intelligence, 2021.](https://mlanthology.org/ijcai/2021/sheng2021ijcai-politeness/) doi:10.24963/IJCAI.2021/660

BibTeX

@inproceedings{sheng2021ijcai-politeness,
  title     = {{Politeness for the Theory of Algebraic Datatypes (Extended Abstract)}},
  author    = {Sheng, Ying and Zohar, Yoni and Ringeissen, Christophe and Lange, Jane and Fontaine, Pascal and Barrett, Clark W.},
  booktitle = {International Joint Conference on Artificial Intelligence},
  year      = {2021},
  pages     = {4829-4833},
  doi       = {10.24963/IJCAI.2021/660},
  url       = {https://mlanthology.org/ijcai/2021/sheng2021ijcai-politeness/}
}