Predicate transformers and higher-order programs

This publication has 19 references indexed in Scilit:

• A recursion theorem for predicate transformers on inductive data types
  Information Processing Letters, 1994
• An algebraic construction of predicate transformers
  Science of Computer Programming, 1994
• The theory of semi-functors
  Mathematical Structures in Computer Science, 1993
• Inductive data types for predicate transformers
  Information Processing Letters, 1992
• Pre-adjunctions in order enriched categories
  Mathematical Structures in Computer Science, 1991
• Procedures, parameters, and abstraction: Separate concerns
  Science of Computer Programming, 1988
• The specification statement
  ACM Transactions on Programming Languages and Systems, 1988
• Laws of programming
  Communications of the ACM, 1987
• On understanding types, data abstraction, and polymorphism
  ACM Computing Surveys, 1985
• Can programming be liberated from the von Neumann style?
  Communications of the ACM, 1978