Related Work

• Monoid homomorphisms [Tannen et al]

  • SRU
  • monads: ext(f) = H[?,?](f)

• boom hierarchy of types [Bird, Meertens, Backhouse];

• monad comprehensions [Wadler, Trinder, Buneman];

• normalization of monad comprehensions [Wong].

Previous slide

Back to first slide

View graphic version