A type-theoretic reconstruction of the visitor pattern

zbMATH Open1273.68079MaRDI QIDQ2852355FDOQ2852355

Authors: Peter Buchlovsky, Hayo Thielecke 

Publication date: 8 October 2013

Full work available at URL: http://www.sciencedirect.com/science/article/pii/S1571066106001988

Recommendations

• A pattern for almost compositional functions
• A pattern for almost compositional functions
• The polymorphic imperative: a generic approach to in-place update
• Extensible algebraic datatypes with defaults
• Polymorphic regular tree types and patterns

Mathematics Subject Classification ID

Data structures (68P05) Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30) Other programming paradigms (object-oriented, sequential, concurrent, automatic, etc.) (68N19)

Cited In (1)

• Push versus pull-based loop fusion in query engines

This page was built for publication: A type-theoretic reconstruction of the visitor pattern

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