Differences

This shows you the differences between two versions of the page.

Link to this comparison view

Both sides previous revisionPrevious revision
Next revisionBoth sides next revision
doc [2017/01/31 12:14] gkazhoyadoc [2017/02/01 16:03] gkazhoya
Line 37: Line 37:
  
 ===== Theses ===== ===== Theses =====
-  * Comprehensive overview of CRAM components: [[https://mediatum.ub.tum.de/doc/1239461/1239461.pdf|Lorenz Mösenlechner PhD Thesis]]+  * Comprehensive overview of CRAM components: [[https://mediatum.ub.tum.de/doc/1239461/1239461.pdf|Lorenz Mösenlechner PhD Thesis]] (thesis overview can be found [[lorenz-thesis-overview|here]])
   * CRAM language details: [[https://common-lisp.net/~trittweiler/bachelor-thesis.pdf|Tobias Christian Rittweiler Bachelor thesis]]   * CRAM language details: [[https://common-lisp.net/~trittweiler/bachelor-thesis.pdf|Tobias Christian Rittweiler Bachelor thesis]]