Typer inference builds a short cut to deforestation
From MaRDI portal
Publication:2817726
DOI10.1145/317636.317907zbMath1345.68043MaRDI 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
68N18: Functional programming and lambda calculus
Related Items
A family of syntactic logical relations for the semantics of Haskell-like languages, A short cut to optimal sequences, Incremental Computing with Abstract Data Structures, Structure and Properties of Traces for Functional Programs