J

Jingwei-project

Phase 1: Conception: This project is an overview of Incremental Computation and make 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 some simple 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.