http://www.kennknowles.com/blog/2008/05/07/ctl-model-checking-in-haskell-a-classic-algorithm-explained-as-memoization/ Mathematics, Haskell, and little bit of Linux Mon, 12 May 2008 21:35:32 +0000 http://wordpress.org/?v=2.8 hourly 1 http://www.kennknowles.com/blog/2008/05/07/ctl-model-checking-in-haskell-a-classic-algorithm-explained-as-memoization/comment-page-1/#comment-34 Mathematical Pamphlet » Debugging with Open Recursion Mixins Sat, 10 May 2008 21:19:29 +0000 http://www.kennknowles.com/blog/2008/05/07/ctl-model-checking-in-haskell-a-classic-algorithm-explained-as-memoization/#comment-34 <p>[...] having just finished a post using open recursion, it immediately cried out to me that open-recursive functions already have some debugging hooks for [...]</p> [...] having just finished a post using open recursion, it immediately cried out to me that open-recursive functions already have some debugging hooks for [...]

]]>