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 |
2013-03-06 | Christian Urban |
added a comment about deeply embedding of recursive functions | file | diff | annotate |