Nameless, painless
From MaRDI portal
Publication:5176983
DOI10.1145/2034773.2034817zbMath1323.68149OpenAlexW4212878555MaRDI QIDQ5176983
Publication date: 5 March 2015
Published in: Proceedings of the 16th ACM SIGPLAN international conference on Functional programming (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1145/2034773.2034817
Related Items (3)
A unified treatment of syntax with binders ⋮ A presheaf model of parametric type theory ⋮ Proofs for free
Uses Software
This page was built for publication: Nameless, painless
