An algebraic theory of type-and-effect systems

lp:ohads-thesis

Created by Ohad Kammar on 2014-04-03 and last modified on 2014-04-03

Only Ohad Kammar can upload to this branch. If you are Ohad Kammar please log in for upload directions.

No branches dependent on this one.

438. By Ohad Kammar <email address hidden> on 2014-04-02: final version
437. By Ohad Kammar <email address hidden> on 2014-04-02: last changes before final proofreading
436. By Ohad Kammar <email address hidden> on 2014-04-01: finished thesis
435. By Ohad Kammar <email address hidden> on 2014-04-01: uniformized bibliography, but only half-way through (up to gifford and lucassen).
434. By Ohad Kammar <email address hidden> on 2014-04-01: proofread the conclusion chapter.
433. By Ohad Kammar <email address hidden> on 2014-04-01: proofread the use case chapter.
432. By Ohad Kammar <email address hidden> on 2014-04-01: proofread the combination chapter.
431. By Ohad Kammar <email address hidden> on 2014-04-01: tweaked the optimisation table to fit better on the page, made the thesis two-sided.
430. By Ohad Kammar <email address hidden> on 2014-04-01: removed appendices, changed format of example numbering.
429. By Ohad Kammar <email address hidden> on 2014-03-31: proofread the optimisations chapter.

This branch contains Public information

Everyone can see this information.