2013-04-01 | Christian Urban |
fixed counterexample according to def in Chap 8 | file | diff | annotate |
2013-03-29 | Christian Urban |
changed the introduction adn cited Zammit | file | diff | annotate |
2013-03-29 | Christian Urban |
updated according to comments from reviewers | file | diff | annotate |
2013-03-27 | Christian Urban |
tunded | file | diff | annotate |
2013-03-27 | Christian Urban |
adapted paper | file | diff | annotate |
2013-03-12 | Christian Urban |
better printing of register programs in Scala | file | diff | annotate |
2013-03-07 | Christian Urban |
tuned conclusion | file | diff | annotate |
2013-03-07 | Christian Urban |
small typo in the paper | file | diff | annotate |