Vincent Simonet. An extension of HM(X) with bounded existential and universal data-types. In Colin Runciman, Olin Shivers, editors, Proceedings of the Eighth ACM SIGPLAN International Conference on Functional Programming, ICFP 2003, Uppsala, Sweden, August 25-29, 2003. pages 39-50, ACM, 2003. [doi]
@inproceedings{Simonet03:0, title = {An extension of HM(X) with bounded existential and universal data-types}, author = {Vincent Simonet}, year = {2003}, doi = {10.1145/944705.944710}, url = {http://doi.acm.org/10.1145/944705.944710}, tags = {data-flow}, researchr = {https://researchr.org/publication/Simonet03%3A0}, cites = {0}, citedby = {0}, pages = {39-50}, booktitle = {Proceedings of the Eighth ACM SIGPLAN International Conference on Functional Programming, ICFP 2003, Uppsala, Sweden, August 25-29, 2003}, editor = {Colin Runciman and Olin Shivers}, publisher = {ACM}, isbn = {1-58113-756-7}, }