Parametric compositional data types

MaRDI QIDQ5854725zbMATH OpenFDO

Authors Patrick Bahr, Tom Hvitved

Publication date 17 March 2021

Full work available at URL https://arxiv.org/abs/1202.2917, http://eptcs.web.cse.unsw.edu.au/paper.cgi?MSFP2012.3

Mathematics Subject Classification ID

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

Recommendations

• Parametric higher-order abstract syntax for mechanized semantics
• Syntax for Free: Representing Syntax with Binding Using Parametricity
• A pattern for almost compositional functions
• A pattern for almost compositional functions
• Paramorphisms

This page was built for publication: Parametric compositional data types

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