@article{RosainDMSTTW26,
  author       = {Johann Rosain and
                  Tom{\'{a}}s D{\'i}az and
                  Kenji Maillard and
                  Matthieu Sozeau and
                  Nicolas Tabareau and
                  {\'{E}}ric Tanter and
                  Th{\'e}o Winterhalter},
  title        = "{Bounded Sort Polymorphism With Elimination Constraints}",
  publisher	   = {Association for Computing Machinery},
  journal      = {Proc. {ACM} Program. Lang.},
  volume       = {10},
  number       = {{POPL}},
  year         = {2026},
  url 		   = {https://doi.org/10.1145/3776732},
  doi 		   = {10.1145/3776732}
}