Papers tagged polymorphism Effects as Capabilities: Effect Handling in Haskell On Understanding Types, Data Abstraction, and Polymorphism Predicate Dispatching: A Unified Theory of Dispatch Principal Type-Schemes for Functional Programs Browse All Keywords By Category