Subtype polymorphism la carte via machine learning on dependent types.

Jerry Swan, Colin G. Johnson, Edwin C. Brady

Browse the full ISSTA paper archive.