Author of the publication

From Dynamic Programming to Greedy Algorithms.

, and . Formal Program Development, volume 755 of Lecture Notes in Computer Science, page 43-61. Springer, (1993)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed. You can also use the button next to the name to display some publications already assigned to the person.

 

Other publications of authors with the same name

The algebra of programming., and . NATO ASI DPD, page 167-203. (1996)Addendum to ``The Promotion and Accumulation Strategies in Transformational Programming''.. ACM Trans. Program. Lang. Syst., 7 (3): 490-492 (1985)How to mingle streams.. J. Funct. Program., (2015)Inverting Functions as Folds., and . MPC, volume 2386 of Lecture Notes in Computer Science, page 209-232. Springer, (2002)Fifteen years of functional pearls.. ICFP, page 215. ACM, (2006)On Merging and Selection.. J. Funct. Program., 7 (3): 349-354 (1997)On building cyclic and shared structures in Haskell.. Formal Aspects Comput., 24 (4-6): 609-621 (2012)Loopless Functional Algorithms.. MPC, volume 4014 of Lecture Notes in Computer Science, page 90-114. Springer, (2006)Allegories as a Basis for Algorithmics.. Category Theory and Computer Science, volume 1290 of Lecture Notes in Computer Science, page 34-46. Springer, (1997)Meeting a fanclub: a lattice of generic shape selectors., , and . WGP@ICFP, page 73-84. ACM, (2009)