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
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