{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,6,18]],"date-time":"2025-06-18T04:33:28Z","timestamp":1750221208459,"version":"3.41.0"},"publisher-location":"New York, NY, USA","reference-count":13,"publisher":"ACM","license":[{"start":{"date-parts":[[2018,7,16]],"date-time":"2018-07-16T00:00:00Z","timestamp":1531699200000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.acm.org\/publications\/policies\/copyright_policy#Background"}],"content-domain":{"domain":["dl.acm.org"],"crossmark-restriction":true},"short-container-title":[],"published-print":{"date-parts":[[2018,7,16]]},"DOI":"10.1145\/3236454.3236469","type":"proceedings-article","created":{"date-parts":[[2019,1,8]],"date-time":"2019-01-08T18:39:17Z","timestamp":1546972757000},"page":"14-16","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":0,"title":["Subtype polymorphism \u00e0 la carte via machine learning on dependent types"],"prefix":"10.1145","author":[{"given":"Jerry","family":"Swan","sequence":"first","affiliation":[{"name":"University of York, UK"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Colin G.","family":"Johnson","sequence":"additional","affiliation":[{"name":"University of Kent, UK"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Edwin C.","family":"Brady","sequence":"additional","affiliation":[{"name":"University of St Andrews, UK"}],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"320","published-online":{"date-parts":[[2018,7,16]]},"reference":[{"key":"e_1_3_2_1_1_1","doi-asserted-by":"publisher","DOI":"10.1145\/1929529.1929536"},{"key":"e_1_3_2_1_2_1","unstructured":"Edwin C. Brady. 2016. Type-driven Development with Idris. Manning Publications Company.  Edwin C. Brady. 2016. Type-driven Development with Idris. Manning Publications Company."},{"key":"e_1_3_2_1_3_1","doi-asserted-by":"crossref","unstructured":"Thibault Gauthier and Cezary Kaliszyk. 2014. Matching Concepts across HOL Libraries. In Intelligent Computer Mathematics Stephen M. Watt James H. Davenport Alan P. Sexton Petr Sojka and Josef Urban (Eds.). Springer International Publishing Cham 267--281.  Thibault Gauthier and Cezary Kaliszyk. 2014. Matching Concepts across HOL Libraries. In Intelligent Computer Mathematics Stephen M. Watt James H. Davenport Alan P. Sexton Petr Sojka and Josef Urban (Eds.). Springer International Publishing Cham 267--281.","DOI":"10.1007\/978-3-319-08434-3_20"},{"key":"e_1_3_2_1_4_1","doi-asserted-by":"publisher","DOI":"10.1145\/1132960.1132963"},{"key":"e_1_3_2_1_5_1","unstructured":"Ian Goodfellow Yoshua Bengio and Aaron Courville. 2016. Deep Learning. MIT Press. http:\/\/www.deeplearningbook.org.   Ian Goodfellow Yoshua Bengio and Aaron Courville. 2016. Deep Learning. MIT Press. http:\/\/www.deeplearningbook.org."},{"key":"e_1_3_2_1_6_1","doi-asserted-by":"publisher","DOI":"10.1145\/2379776.2379787"},{"volume-title":"Logic for Programming","author":"Heras J\u00f3nathan","key":"e_1_3_2_1_7_1"},{"key":"e_1_3_2_1_8_1","unstructured":"Zoltan A. Kocsis and Jerry Swan. 2014. Asymptotic Genetic Improvement Programming with Type Functors and Catamorphisms. In Semantic Methods in Genetic Programming (SMGP) at Parallel Problem Solving from Nature (PPSN XIV) Colin Johnson Krzysztof Krawiec Alberto Moraglio and Michael O'Neill (Eds.). Ljubljana Slovenia.  Zoltan A. Kocsis and Jerry Swan. 2014. Asymptotic Genetic Improvement Programming with Type Functors and Catamorphisms. In Semantic Methods in Genetic Programming (SMGP) at Parallel Problem Solving from Nature (PPSN XIV) Colin Johnson Krzysztof Krawiec Alberto Moraglio and Michael O'Neill (Eds.). Ljubljana Slovenia."},{"key":"e_1_3_2_1_9_1","unstructured":"Zoltan A. Kocsis and Jerry Swan. 2017. Genetic Programming + Proof Search = Automatic Improvement. Journal of Automated Reasoning (Mar 2017).  Zoltan A. Kocsis and Jerry Swan. 2017. Genetic Programming + Proof Search = Automatic Improvement. Journal of Automated Reasoning (Mar 2017)."},{"volume-title":"CICM 2017, Edinburgh, UK, July 17--21, 2017, Proceedings. 303--318","year":"2017","author":"Komendantskaya Ekaterina","key":"e_1_3_2_1_10_1"},{"key":"e_1_3_2_1_11_1","doi-asserted-by":"publisher","DOI":"10.1145\/62139.62141"},{"key":"e_1_3_2_1_12_1","unstructured":"Bertrand Meyer. 1988. Object-Oriented Software Construction (1st ed.). Prentice-Hall Inc. Upper Saddle River NJ USA.   Bertrand Meyer. 1988. Object-Oriented Software Construction (1st ed.). Prentice-Hall Inc. Upper Saddle River NJ USA."},{"key":"e_1_3_2_1_13_1","doi-asserted-by":"publisher","DOI":"10.1109\/5.949485"}],"event":{"name":"ISSTA '18: International Symposium on Software Testing and Analysis","sponsor":["SIGPLAN ACM Special Interest Group on Programming Languages","SIGSOFT ACM Special Interest Group on Software Engineering"],"location":"Amsterdam Netherlands","acronym":"ISSTA '18"},"container-title":["Companion Proceedings for the ISSTA\/ECOOP 2018 Workshops"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3236454.3236469","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/3236454.3236469","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,18]],"date-time":"2025-06-18T01:39:39Z","timestamp":1750210779000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3236454.3236469"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2018,7,16]]},"references-count":13,"alternative-id":["10.1145\/3236454.3236469","10.1145\/3236454"],"URL":"https:\/\/doi.org\/10.1145\/3236454.3236469","relation":{},"subject":[],"published":{"date-parts":[[2018,7,16]]},"assertion":[{"value":"2018-07-16","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}