Jingwei- Overview of Incremental Computation and Comparison between Adaption and IC with Names
Phase 1: Conception: This project is an overview of Incremental Computation and do comparison between Adaption and IC with Names. The goal of the project is to have a good background and knowledge of Incremental Computation. And successfully do the OCaml implementation related the two paper(Adaption and IC with names) Phase 2: Refinement The implementation will be guided by the paper: Adaption and IC with names.
Critical Path: From now ~ Mar.20, Read again for details about the two papers mentioned above;
Mar.20 ~ Mar. 31, Start reading the Ocaml code on Github and discuss with Prof. Hammer;
Apr. 1 ~ Apr. 14, Try some application and instance ;
Apr. 15~ Apr. 30, write the project report.