A Categorical Treatment of Ornaments
From MaRDI portal
Publication:5271091
DOI10.1109/LICS.2013.60zbMath1366.68021OpenAlexW2952879408MaRDI QIDQ5271091
Conor McBride, Pierre-Évariste Dagand
Publication date: 3 July 2017
Published in: 2013 28th Annual ACM/IEEE Symposium on Logic in Computer Science (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1109/lics.2013.60
Logic in computer science (03B70) Abstract data types; algebraic specification (68Q65) Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30)
Related Items (5)
Formalizing semantic bidirectionalization and extensions with dependent types ⋮ Relative full completeness for bicategorical Cartesian closed structure ⋮ Unnamed Item ⋮ The essence of ornaments ⋮ Ornaments for Proof Reuse in Coq
This page was built for publication: A Categorical Treatment of Ornaments