Politeness for the Theory of Algebraic Datatypes (Extended Abstract)

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/}
}