Type-driven defunctionalization
From MaRDI portal
Publication:5348862
DOI10.1145/258948.258953zbMath1369.68087OpenAlexW2094174039MaRDI QIDQ5348862
No author found.
Publication date: 21 August 2017
Published in: Proceedings of the second ACM SIGPLAN international conference on Functional programming (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1145/258948.258953
Related Items (3)
Polymorphic typed defunctionalization and concretization ⋮ Refunctionalization at work ⋮ Specialisation of Higher-Order Functions for Debugging
This page was built for publication: Type-driven defunctionalization
