[Dok Melody Scratchpad Notes]

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.