Analysis and caching of dependencies

DOI10.1145/232627.232638MaRDI QIDQ2817686zbMATH OpenOpenAlexFDO

Authors Martín Abadi, Jean-Jacques Lévy, Butler Lampson

Publication date 1 September 2016

Published in Proceedings of the first ACM SIGPLAN international conference on Functional programming - ICFP '96 (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1145/232627.232638

Mathematics Subject Classification ID

Functional programming and lambda calculus (68N18)

Recommendations

• scientific article; zbMATH DE number 2087549
• Applicative caching
• scientific article; zbMATH DE number 1904868
• scientific article; zbMATH DE number 2087554
• The call-by-need lambda calculus

Cited in

(5)

• Provenance as dependency analysis
• FLIC: application to caching of a dynamic dependency analysis for a 3D oriented CRS
• Applicative caching
• Exploring conditional rewriting logic computations
• Redexes are stable in the \(\lambda\)-calculus

This page was built for publication: Analysis and caching of dependencies

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2817686)