Jerry Swan, Colin G. Johnson, Edwin C. Brady. Subtype polymorphism à la carte via machine learning on dependent types. In Julian Dolby, William G. J. Halfond, Ashish Mishra, editors, Companion Proceedings for the ISSTA/ECOOP 2018 Workshops, ISSTA 2018, Amsterdam, Netherlands, July 16-21, 2018. pages 14-16, ACM, 2018. [doi]
Abstract is missing.