Elements of a relational theory of datatypes

This publication has 12 references indexed in Scilit:

• (Relational) programming laws in the boom hierarchy of types
  Published by Springer Nature ,1993
• Comprehending monads
  Published by Association for Computing Machinery (ACM) ,1990
• Homomorphisms and promotability
  Published by Springer Nature ,1989
• Lectures on Constructive Functional Programming
  Published by Springer Nature ,1989
• Laws of programming
  Communications of the ACM, 1987
• An Introduction to the Theory of Lists
  Published by Springer Nature ,1987
• Transformational programming and the paragraph problem
  Science of Computer Programming, 1986
• Toposes, Triples and Theories
  Published by Springer Nature ,1985
• The promotion and accumulation strategies in transformational programming
  ACM Transactions on Programming Languages and Systems, 1984
• Can programming be liberated from the von Neumann style?
  Communications of the ACM, 1978