Transporting functions across ornaments
From MaRDI portal
Publication:2875233
DOI10.1017/S0956796814000069zbMath1297.68047arXiv1212.3806MaRDI QIDQ2875233
Conor McBride, Pierre-Évariste Dagand
Publication date: 14 August 2014
Published in: Journal of Functional Programming (Search for Journal in Brave)
Full work available at URL: https://arxiv.org/abs/1212.3806
Related Items (5)
Programming with ornaments ⋮ Unnamed Item ⋮ Ornaments for Proof Reuse in Coq ⋮ Typing with Leftovers - A mechanization of Intuitionistic Multiplicative-Additive Linear Logic ⋮ A type- and scope-safe universe of syntaxes with binding: their semantics and proofs
This page was built for publication: Transporting functions across ornaments
