A pattern for almost compositional functions

DOI10.1145/1159803.1159834zbMath1321.68140OpenAlexW1986044902MaRDI QIDQ5501469

Björn Bringert, Aarne Ranta

Publication date: 3 August 2015

Published in: Proceedings of the eleventh ACM SIGPLAN international conference on Functional programming (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1145/1159803.1159834

zbMATH Keywords

JavaHaskelldependent type theoryabstract syntaxtraversalvisitor pattern

Mathematics Subject Classification ID

Theory of programming languages (68N15) Functional programming and lambda calculus (68N18) Abstract data types; algebraic specification (68Q65)

Uses Software

• Haskell
• Polyp
• Agda
• DrIFT
• BNFConverter

This page was built for publication: A pattern for almost compositional functions