[Main website]

tech/adaption-incremental-lambda-calculus

“Adaption” is a lambda calculus supporting incremental recomputations. It is used in some Ocaml benchmark. There are papers about on Zotero.