Tail-Recursive, Linear-Time Fibonacci
July 12, 2008
How can I introduce accumulating parameters to derive the linear-time, tail recursive implementation of
[More ...]
- 2 Comments
Tags: Fibonacci, Program Derivation.
Monthly Archive July, 2008
Algebra of programming using dependent types
July 11, 2008
S-C. Mu, H-S. Ko, and P. Jansson. Algebra of programming using dependent types. In Mathematics of Program Construction 2008, LNCS 5133, pp 268-283. July 2008.
[PDF]
[More ...]
- 0 Comments
Tags: Agda, Dependent Type, Program Derivation.