Implicit self-adjusting computation for purely functional programs
Y Chen, J Dunfield, MA Hammer… - Journal of Functional …, 2014 - cambridge.org
Computational problems that involve dynamic data, such as physics simulations and
program development environments, have been an important subject of study in …
program development environments, have been an important subject of study in …
Incrementality and effect simulation in the simply typed lambda calculus
LCG Huesca - 2015 - inria.hal.science
Certified programming is a framework in which any program is correct by construction. Proof
assistants and dependently typed programming languages are the representatives of this …
assistants and dependently typed programming languages are the representatives of this …