Person. Adam Chen Stevens Institute of Technology · 0000-0002-5159-6532 Papers Polymorphism with Typed Holes chen-2025-polymorphismTrends in Functional Programming · 2025 DOI