Implementations of Boxes Go Bananas: Encoding Higher-Order Abstract Syntax With Parametric Polymorphism
Primary LanguageHaskell