Typer inference builds a short cut to deforestation
From MaRDI portal
Publication:2817726
DOI10.1145/317636.317907zbMath1345.68043OpenAlexW2116151771MaRDI QIDQ2817726
Publication date: 1 September 2016
Published in: Proceedings of the fourth ACM SIGPLAN international conference on Functional programming (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1145/317636.317907
Related Items (4)
A short cut to optimal sequences ⋮ Incremental Computing with Abstract Data Structures ⋮ A family of syntactic logical relations for the semantics of Haskell-like languages ⋮ Structure and Properties of Traces for Functional Programs
This page was built for publication: Typer inference builds a short cut to deforestation
