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.
“Adaption” is a lambda calculus supporting incremental recomputations. It is used in some Ocaml benchmark. There are papers about on Zotero.