Functional programming with bananas, lenses, envelopes and barbed wire

This publication has 10 references indexed in Scilit:

• Comprehending monads
  Published by Association for Computing Machinery (ACM) ,1990
• Codatatypes in ML
  Journal of Symbolic Computation, 1989
• Semantic Domains and Denotational Semantics
  Published by Defense Technical Information Center (DTIC) ,1989
• Lectures on Constructive Functional Programming
  Published by Springer Nature ,1989
• Views: a way for pattern matching to cohabit with data abstraction
  Published by Association for Computing Machinery (ACM) ,1987
• An Introduction to the Theory of Lists
  Published by Springer Nature ,1987
• The Category-Theoretic Solution of Recursive Domain Equations
  SIAM Journal on Computing, 1982
• Some Techniques for Recursion Removal from Recursive Functions
  ACM Transactions on Programming Languages and Systems, 1982
• Algebraic specification of data types: A synthetic approach
  Theory of Computing Systems, 1981
• Fixed-point constructions in order-enriched categories
  Theoretical Computer Science, 1979