A functional approach to generic programming using adaptive traversals

DOI10.1007/S10990-011-9064-1MaRDI QIDQ1929347zbMATH OpenOpenAlexFDO

Authors Bryan Chadwick, Karl J. Lieberherr

Publication date 8 January 2013

Published in Higher-Order and Symbolic Computation (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/s10990-011-9064-1

zbMATH Keywords

data structuresfunctional programminggeneric programmingtraversals

Mathematics Subject Classification ID

Data structures (68P05) Functional programming and lambda calculus (68N18)

Recommendations

• A new approach to generic functional programming
• Generic programming with adjunctions
• Generic functional programming with types and relations
• Adaptive functional programming
• Generic type-preserving traversal strategies
• Generic programming with fixed points for mutually recursive datatypes
• Recursive and dynamic structures in generic programming
• Typed generic traversal with term rewriting strategies
• scientific article; zbMATH DE number 2100542

Cites work

• scientific article; zbMATH DE number 46981 (Why is no real title available?)
• scientific article; zbMATH DE number 1952947 (Why is no real title available?)
• A new approach to generic functional programming
• A syntactic approach to type soundness
• Directly reflective meta-programming
• From reduction-based to reduction-free normalization
• Lambda-dropping: Transforming recursive equations into programs with block structure
• Modular statically typed multimethods
• On the equivalence between small-step and big-step abstract machines: a simple application of lightweight fusion
• Passes, sweeps, and visits in attribute grammars
• Scrap more boilerplate: reflection, zips, and generalised casts
• Scrap your boilerplate with class: extensible generic functions
• Semantic evaluation from left to right
• Semantics of context-free languages

Cited in

(5)

• Declarative foreign function binding through generic programming
• Algebraic specialization of generic functions for recursive types
• Nesting forward-mode AD in a functional framework
• The sketch of a polymorphic symphony
• Generic functional programming with types and relations

Describes a project that uses

Uses Software

• Polyp
• LISP
• Haskell

This page was built for publication: A functional approach to generic programming using adaptive traversals

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