Hot answers tagged

3 votes

Dependently typed monad

Some of the following may be relevant: Relative monads by Thorsten Altenkirch, James Chapman and Tarmo Uustalu. Flexibly graded monads and graded algebras by Dylan McDermott and Tarmo Uustalu.
  • 26.8k

Only top scored, non community-wiki answers of a minimum length are eligible