Dynamic and Incremental Computing Techniques

https://en.wikipedia.org/wiki/Incremental_computing

Incremental Computing

Papers

2018 - Fungi: Typed incremental computation with names https://arxiv.org/pdf/1808.07826.pdf

2017 - Adapton: http://adapton.org/ https://github.com/cuplv/adapton-talk/blob/master/2017-05-04--plemm-at-facebook/Adapton_PLEMM_2017_05_04.pdf Video: https://drive.google.com/a/colorado.edu/file/d/0B6ZM1oYivK60MFRkVkY1c3J5Rzg/view

Self-adjusting Computation

Papers

2014 https://web.archive.org/web/20161030185650/http://repository.cmu.edu/cgi/viewcontent.cgi?article=3549&context=compsci

Implementations

https://github.com/janestreet/incremental

Functional Reactive Programming

https://blog.janestreet.com/breaking-down-frp/