descriptionMaster's thesis on the cλash compiler
ownermatthijs
last changeTue, 23 Feb 2010 09:51:59 +0000 (10:51 +0100)
shortlog
2010-02-23 Matthijs KooijmanRemove some progress documents, they are being stored... master
2009-12-09 Matthijs KooijmanFix the headers on the conclusion and references list. final-thesis
2009-12-09 Matthijs KooijmanActually include the acknowledgements.
2009-12-09 Matthijs KooijmanDo not put the frontmatter titles into the header area.
2009-12-09 Matthijs KooijmanAdd acknowledgements.
2009-12-09 Matthijs KooijmanRequire a word (including its subscript) to end in...
2009-12-09 Matthijs KooijmanDon't put AvgStateRemoved in a float.
2009-12-09 Matthijs KooijmanAllow single digit subscripts again.
2009-12-09 Matthijs KooijmanFix / remove some final todos.
2009-12-09 Matthijs KooijmanAdd reference.
2009-12-09 Matthijs KooijmanSome fixes to the prototype chapter.
2009-12-09 Matthijs KooijmanSlightly improve the determinism proof section.
2009-12-09 Matthijs KooijmanActually add bibtex entries for added references.
2009-12-09 Matthijs KooijmanImprove layout and add citation.
2009-12-09 Matthijs KooijmanAdd a section on proving determinism.
2009-12-09 Matthijs KooijmanUse the logical and from the roman font.
...
tags
8 years ago final-thesis This is the final thesis, as it...
heads
9 years ago master