Searching for authors named "Oege de Moor" – sorted by Relevance.
46 documents found, showing 1 through 10.
Next 10 →
-
An Exercise in Polytypic Program Derivation: repmin
- …An Exercise in Polytypic Program Derivation: repmin Oege de Moor September 17, 1996 Abstract A…
- Cited by 3 (0 self) – Add To MetaCart
-
Inductive Data Types for Predicate Transformers
- …Inductive Data Types for Predicate Transformers Oege de Moor September 14, 1995 Keywords…
- Cited by 7 (1 self) – Add To MetaCart
-
A Generic Program for Sequential Decision Processes
- …A Generic Program for Sequential Decision Processes Oege de Moor Programming Research Group…
- Cited by 11 (1 self) – Add To MetaCart
-
Detecting Disabling Interference Between Program Transformations
- …Detecting disabling interference between program transformations David Lacey & Oege de Moor…
- Add To MetaCart
-
From Dynamic Programming to Greedy Algorithms
- …From Dynamic Programming to Greedy Algorithms Richard Bird and Oege de Moor ? Programming…
- Cited by 12 (3 self) – Add To MetaCart
-
Solving Optimisation Problems with Catamorphisms
- …Solving Optimisation Problems with Catamorphisms Richard S. Bird and Oege de Moor ? Oxford…
- Cited by 11 (3 self) – Add To MetaCart
-
Modeless Structure Editing
- … and Oege de Moor Programming Research Group 1 Introduction Tony is a stubborn colleague. He refuses…
- Cited by 3 (0 self) – Add To MetaCart
-
Pointwise Relational Programming
- … Programming Oege de Moor and Jeremy Gibbons Programming Research Group, Oxford University Computing…
- Cited by 6 (0 self) – Add To MetaCart
-
Bridging the Algorithm Gap: A Linear-time Functional Program for Paragraph Formatting
- …Bridging the Algorithm Gap: A Linear-time Functional Program for Paragraph Formatting Oege de Moor…
- Cited by 2 (0 self) – Add To MetaCart
-
What is a Data Type?
- … University of Technology P.O. Box 513, 5600 MB Eindhoven, NL Oege de Moor Programming Research Group, Oxford…
- Cited by 4 (1 self) – Add To MetaCart
Showing 1 through 10.
Next 10 →
