Implicit self-adjusting computation for purely functional programs

DOI10.1017/S0956796814000033zbMath1297.68046MaRDI QIDQ2875225

Yan Chen, Umut A. Acar, Joshua Dunfield, Matthew A. Hammer

Publication date: 14 August 2014

Published in: Journal of Functional Programming (Search for Journal in Brave)

Mathematics Subject Classification ID

Functional programming and lambda calculus (68N18)

Cites Work

• Unnamed Item
• Unnamed Item
• Keeping calm in the face of change. Towards optimisation of FRP by reasoning about change
• Principles of programming languages
• A filter lambda model and the completeness of type assignment
• A monadic analysis of information flow security with mutable state

This page was built for publication: Implicit self-adjusting computation for purely functional programs