N.M.C. Borst
continuation monad explained implementing non-primitive recursive algorithms
314744126 Bytes