[<<][compsci][>>][..]
Sun Mar 22 22:13:57 CET 2009

data - codata

http://blog.sigfpe.com/2007/07/data-and-codata.html
http://en.wikipedia.org/wiki/Corecursion

well-behaved recursion for recursion on data and codata

 - structural recursion: recurse on strict subparts only
 - guarded recursion:    recurse only inside constructors




[Reply][About]
[<<][compsci][>>][..]