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

/

Facility

Information Science University of Pennsylvania / Haskell library / /

IndustryTerm

conversion algorithm / /

Organization

University of Pennsylvania / Philadelphia / Parametric Polymorphism∗ GEOFFREY WASHBURN STEPHANIE WEIRICH Department of Computer / /

Person

GEOFFREY WASHBURN STEPHANIE WEIRICH / Peyton Jones / /

Position

interpreter for the λ-calculus / interpreter / /

ProgrammingLanguage

Haskell / /

Technology

Functional Programming / conversion algorithm / /

SocialTag