Higher-order arity raising
From MaRDI portal
Publication:5234256
DOI10.1145/289423.289426zbMath1428.68102OpenAlexW2145361976MaRDI QIDQ5234256
Publication date: 26 September 2019
Published in: Proceedings of the third ACM SIGPLAN international conference on Functional programming (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1145/289423.289426
This page was built for publication: Higher-order arity raising