2013-03-07 Christian Urban tuned conclusion
2013-03-07 Christian Urban small typo in the paper
2013-03-07 Christian Urban added definition of termination for rec_exec
2013-03-06 Christian Urban added an function definition for eval.
2013-03-06 Christian Urban added a comment about deeply embedding of recursive functions
2013-03-05 Christian Urban added a version with partial_function
2013-03-03 Christian Urban partial_function test
Loading...
(0) -100 -30 -10 -7 +7 +10 +30 tip