Author of the publication

Categories,Relations and Dynamic Programming

. Univ.Oxf.Computing Lab.,Programming Research Gp., (April 1992)

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

Generic Program Transformation., and . Advanced Functional Programming, volume 1608 of Lecture Notes in Computer Science, page 116-149. Springer, (1998)More Haste, Less Speed: Lazy Versus Eager Evaluation., , and . J. Funct. Program., 7 (5): 541-547 (1997)Refactoring Tools, , , , , , and . (2008)The Algebra of Programming, and . Prentice Hall, (September 1997)Inductive Data Types for Predicate Transformers.. Inf. Process. Lett., 43 (3): 113-117 (1992)Tracking Static Analysis Violations over Time to Capture Developer Characteristics., , , , , , , and . ICSE (1), page 437-447. IEEE Computer Society, (2015)An Algebraic Construction of Predicate Transformers., , and . MPC, volume 669 of Lecture Notes in Computer Science, page 100-121. Springer, (1992)From Dynamic Programming to Greedy Algorithms., and . Formal Program Development, volume 755 of Lecture Notes in Computer Science, page 43-61. Springer, (1993)Type inference for datalog with complex type hierarchies., and . POPL, page 145-156. ACM, (2010)Categories,Relations and Dynamic Programming. Univ.Oxf.Computing Lab.,Programming Research Gp., (April 1992)