Back to Results
First PageMeta Content
Type 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 List

Document Date: 2014-07-10 05:47:02

Open Document

File Size: 494,37 KB

Share Result on Facebook
UPDATE