@inbook{chen-2025-polymorphism, title={Polymorphism with Typed Holes}, ISBN={9783031745584}, ISSN={1611-3349}, url={http://dx.doi.org/10.1007/978-3-031-74558-4_7}, DOI={10.1007/978-3-031-74558-4_7}, booktitle={Trends in Functional Programming}, publisher={Springer Nature Switzerland}, author={Chen, Adam and Porter, Thomas and Omar, Cyrus}, year={2025}, pages={134–159} }