{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,7]],"date-time":"2024-09-07T16:02:55Z","timestamp":1725724975751},"publisher-location":"New York, NY, USA","reference-count":10,"publisher":"ACM","content-domain":{"domain":["dl.acm.org"],"crossmark-restriction":true},"short-container-title":[],"published-print":{"date-parts":[[1996,6,15]]},"DOI":"10.1145\/232627.232642","type":"proceedings-article","created":{"date-parts":[[2004,2,3]],"date-time":"2004-02-03T17:08:40Z","timestamp":1075828120000},"page":"122-133","update-policy":"http:\/\/dx.doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":39,"title":["Simplifying subtyping constraints"],"prefix":"10.1145","author":[{"given":"Fran\u00e7ois","family":"Pottier","sequence":"first","affiliation":[{"name":"Projet Cristal, INRIA Rocquencourt, BP 105, 78153 Le Chesnay Cedex, France"}]}],"member":"320","published-online":{"date-parts":[[1996,6,15]]},"reference":[{"key":"e_1_3_2_1_1_2","doi-asserted-by":"publisher","DOI":"10.1145\/165180.165188"},{"key":"e_1_3_2_1_2_2","volume-title":"Illyria system","author":"Aiken Alexexander","year":"1994","unstructured":"Alexexander Aiken . Illyria system , 1994 . Available online as http:\/\/http, cs. berkeley, edu: 80\/~aiken\/ftp \/Illyria. tar. gz. Alexexander Aiken. Illyria system, 1994. Available online as http:\/\/http, cs. berkeley, edu: 80\/~aiken\/ftp \/Illyria. tar. gz."},{"key":"e_1_3_2_1_3_2","doi-asserted-by":"publisher","DOI":"10.1145\/99583.99600"},{"key":"e_1_3_2_1_4_2","doi-asserted-by":"publisher","DOI":"10.1007\/3-540-13346-1_2"},{"volume-title":"Mathematical Foundations of Programming Semantics, New Orleans","author":"Eifrig J.","key":"e_1_3_2_1_5_2","unstructured":"J. Eifrig , S. Smith , and V. Trifonov . Type inference for recursively constrained types and its application to OOP . In Mathematical Foundations of Programming Semantics, New Orleans , volume i of Electronic Notes in Theoretical Computer Science. Elsevier, 1995 . To appear. Currently available as ftp:\/\/ftp, cs. jhu. edu \/pub\/scott\/ooinfer. ps. Z. J. Eifrig, S. Smith, and V. Trifonov. Type inference for recursively constrained types and its application to OOP. In Mathematical Foundations of Programming Semantics, New Orleans, volume i of Electronic Notes in Theoretical Computer Science. Elsevier, 1995. To appear. Currently available as ftp:\/\/ftp, cs. jhu. edu \/pub\/scott\/ooinfer. ps. Z."},{"key":"e_1_3_2_1_6_2","doi-asserted-by":"publisher","DOI":"10.1145\/217838.217858"},{"key":"e_1_3_2_1_7_2","doi-asserted-by":"publisher","DOI":"10.5555\/646625.698189"},{"key":"e_1_3_2_1_9_2","doi-asserted-by":"publisher","DOI":"10.1145\/800017.800529"},{"key":"e_1_3_2_1_10_2","doi-asserted-by":"publisher","DOI":"10.1109\/LICS.1994.316073"},{"key":"e_1_3_2_1_11_2","doi-asserted-by":"publisher","DOI":"10.1145\/199448.199533"}],"event":{"name":"ICFP96: International Conference on Functional Programming","sponsor":["SIGPLAN ACM Special Interest Group on Programming Languages"],"location":"Philadelphia Pennsylvania USA","acronym":"ICFP96"},"container-title":["Proceedings of the first ACM SIGPLAN international conference on Functional programming"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/232627.232642","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2023,9,4]],"date-time":"2023-09-04T21:41:52Z","timestamp":1693863712000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/232627.232642"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1996,6,15]]},"references-count":10,"alternative-id":["10.1145\/232627.232642","10.1145\/232627"],"URL":"https:\/\/doi.org\/10.1145\/232627.232642","relation":{"is-identical-to":[{"id-type":"doi","id":"10.1145\/232629.232642","asserted-by":"object"}]},"subject":[],"published":{"date-parts":[[1996,6,15]]},"assertion":[{"value":"1996-06-15","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}