Automatic refunctionalization to a language with copattern matching: with applications to the expression problem

DOI10.1145/2784731.2784763zbMATH Open1360.68368OpenAlexW2003797043MaRDI QIDQ2981970FDOQ2981970

Authors: Tillmann Rendel, Julia Trieflinger, Klaus Ostermann 

Publication date: 10 May 2017

Published in: Proceedings of the 20th ACM SIGPLAN International Conference on Functional Programming (Search for Journal in Brave)

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

Recommendations

• Dualizing generalized algebraic data types by matrix transposition
• Refunctionalization at work
• Type-driven defunctionalization
• Polymorphic typed defunctionalization
• Polymorphic typed defunctionalization and concretization

zbMATH Keywords

defunctionalizationrefunctionalizationcodatacopattern matchingexpression problemUroboro

Mathematics Subject Classification ID

Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30)

Cited In (6)

• Dualizing generalized algebraic data types by matrix transposition
• Type-driven defunctionalization
• Polymorphic typed defunctionalization and concretization
• Refunctionalization at work
• Polymorphic typed defunctionalization
• Gradual refinement. Blending pattern matching with data abstraction

This page was built for publication: Automatic refunctionalization to a language with copattern matching: with applications to the expression problem

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