New editor of Science of Computer Programming
Document Actions
Oege de Moor's publications on Generic Programming
- Pointwise relational programming (AMAST 2000)
- Container types categorically (JFP 2000)
- Bridging the algorithm gap: a linear-time functional program for paragraph formatting (SCP 1999)
- Dynamic programming as a software component (CSCC 1999)
- Generic program transformation (AFP 1999)
- Algebra of programming (book, Prentice Hall 1997)
- Generic programming with functors and relations (JFP 1996)
- A generic program for sequential decision processes (PLILP 1995)
- Categories, relations and dynamic programming (MSCS 1994)
- An algebraic construction of predicate transformers (SCP 1994)
- Relational program derivation and context-free language recognition (ACM 1994)
- List partitions (FAC 1994)
- Virtual data structures (FPD 1993)
- From dynamic programming to greedy algorithms (FPD 1993)
- Solving optimisation problems with catamorphisms (MPC 1993)
- An algebraic construction of predicate transformers (MPC 1993)
- Inductive data types for predicate transformers (IPL 1992)
- Categories, relations and dynamic programming (DPhil thesis) (PRG 1992)