GitHub - thealmarty/BoxesGoBananas: Implementations of Boxes Go Bananas: Encoding Higher-Order Abstract Syntax With Parametric Polymorphism

thealmarty / BoxesGoBananas Public

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

Notifications

Name		Name	Last commit message	Last commit date
Latest commit History 12 Commits
EgExpressions.hs		EgExpressions.hs
Expression.hs		Expression.hs
HOP.hs		HOP.hs
ParallelReduction.hs		ParallelReduction.hs
fsCata.hs		fsCata.hs
mhCata.hs		mhCata.hs

About

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

No releases published