@inproceedings{DRSTW25,
  author    = "{Díaz, Tomás and Rosain, Johann and Sozeau, Matthieu and Tabreau, Nicolas and Winterhalter, Théo}",
  title     = "{Extending Sort Polymorphism with Elimination Constraints (abstract)}",
  booktitle = "{Book of Abstracts of the 31st International Conference on Types for Proofs and Programs}",
  year      = {2025},
}