First Page | Document Content | |
---|---|---|
Date: 2014-07-10 05:47:02Type theory Functional programming Data types Higher-order functions Lambda calculus Higher-order abstract syntax Eval Catamorphism System F Software engineering Computing Declarative programming | Under consideration for publication in J. Functional Programming 1 Boxes Go Bananas: Encoding Higher-Order Abstract Syntax with Parametric Polymorphism∗Add to Reading ListSource URL: www.seas.upenn.eduDownload Document from Source WebsiteFile Size: 494,37 KBShare Document on Facebook |