A Generic Program for Sequential Decision Processes (1995)

Cached

Download Links

by Oege De Moor
Venue:Programming Languages: Implementations, Logics, and Programs
Citations:13 - 2 self

Documents Related by Co-Citation

215 An introduction to the theory of lists – R S Bird - 1987
97 and Order in Algorithmics – Law - 1992
28 Polytypic Pattern Matching – Johan Jeuring - 1995
113 A Fold for All Seasons – Tim Sheard , Leonidas Fegaras - 1993
299 Programming with bananas, lenses, envelopes and barbed wire – Erik Meijer, Maarten Fokkinga, Ross Paterson - 1991
96 and Oege de Moor. Algebra of Programming – Richard Bird - 1997
1312 Monads for functional programming – Philip Wadler - 1995
35 Homomorphisms and promotability – G Malcolm - 1989
193 A Short Cut to Deforestation – Andrew Gill, John Launchbury, Simon L Peyton Jones - 1993
37 Theories for Algorithm Calculation – Johan Theodoor Jeuring - 1993
41 The Bird-Meertens Formalism as a Parallel Model – D. B. Skillicorn - 1993
39 Deriving incremental programs – Yanhong A. Liu, Tim Teitelbaum - 1993
18 Oege de Moor, and Paul Hoogendijk. Generic functional programming with types and relations – Richard Bird - 1996
105 Data structures and program transformation – G Malcolm - 1990
67 Tabulation techniques for recursive programs – R S Bird - 1980
8557 R.: Introduction to Algorithms – T Cormen, C Leiserson, Rivest - 1990
12 Structure and Design of Problem Reduction Generators – Douglas R. Smith - 1991
31 O.: Categories, relations and dynamic programming – de Moor - 1992
41 Calculate Polytypically! – Lambert Meertens - 1996