Papers tagged type classes A History of Haskell: Being Lazy With Class Coq: The world’s best macro assembler? Monad Transformers and Modular Interpreters Browse All Keywords By Category