A pattern for almost compositional functions

DOI10.1145/1159803.1159834zbMATH Open1321.68140OpenAlexW1986044902MaRDI QIDQ5501469FDOQ5501469

Authors: 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

Recommendations

• A pattern for almost compositional functions
• “Scrap Your Boilerplate” Reloaded
• “Scrap Your Boilerplate” Revolutions
• A new approach to generic functional programming
• Generic Views on Data Types

zbMATH Keywords

Javadependent type theoryabstract syntaxHaskelltraversalvisitor pattern

Mathematics Subject Classification ID

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

Cited In (7)

• Transporting functions across ornaments
• Algebraic specialization of generic functions for recursive types
• Parametric compositional data types
• A pattern for almost compositional functions
• A type-theoretic reconstruction of the visitor pattern
• There and back again
• Transporting functions across ornaments

Uses Software

• Haskell
• Polyp
• Agda
• DrIFT
• BNFConverter

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

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q5501469)