Analysis and caching of dependencies

DOI10.1145/232627.232638zbMATH Open1344.68046OpenAlexW1999707021MaRDI QIDQ2817686FDOQ2817686

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

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

Mathematics Subject Classification ID

Functional programming and lambda calculus (68N18)

Cited In (5)

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

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)