[<<][meta][>>][..]Wed Apr 7 09:22:48 EDT 2010
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][>>][..]