[<<][meta][>>][..]

Wed Apr 7 09:22:48 EDT 2010

Total functional programming

Embedding of a total[1] language in ML[2].  Termination is guaranteed
through a restricted form of recursion.


[1] http://en.wikipedia.org/wiki/Total_functional_programming
[2] http://lambda-the-ultimate.org/node/3893#comment-58317

[Reply][About]

[<<][meta][>>][..]