69 citations · 205 across the 22 of their papers we have counts for
Showing 2014 · cs.PLShow all
2 papers · 2 filters
cs.PL2014★ 69 cited
Monads need not be endofunctors
Thosten Altenkirch, James Chapman, Tarmo Uustalu
We introduce a generalization of monads, called relative monads, allowing for underlying functors between different categories. Examples include finite-dimensional vector spaces, u…
cs.PL2014★ 16 cited
When is a container a comonad?
Danel Ahman, James Chapman, Tarmo Uustalu
Abbott, Altenkirch, Ghani and others have taught us that many parameterized datatypes (set functors) can be usefully analyzed via container representations in terms of a set of sha…