Mathematical Research Data Initiative
Main page
Recent changes
Random page
Help about MediaWiki
Create a new Item
Create a new Property
Create a new EntitySchema
Merge two items
In other projects
Discussion
View source
View history
Purge
English
Log in

Analysis and caching of dependencies

From MaRDI portal
Publication:2817686
Jump to:navigation, search

DOI10.1145/232627.232638zbMath1344.68046OpenAlexW1999707021MaRDI QIDQ2817686

Jean-Jacques Levy, Martín Abadi, B. W. 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)


Related Items (4)

Exploring conditional rewriting logic computations ⋮ FLIC: Application to Caching of a Dynamic Dependency Analysis for a 3D Oriented CRS ⋮ Provenance as dependency analysis ⋮ Redexes are stable in the λ-calculus




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

Retrieved from "https://portal.mardi4nfdi.de/w/index.php?title=Publication:2817686&oldid=15735334"
Tools
What links here
Related changes
Special pages
Printable version
Permanent link
Page information
MaRDI portal item
This page was last edited on 3 February 2024, at 18:16.
Privacy policy
About MaRDI portal
Disclaimers
Imprint
Powered by MediaWiki