15 citations · 17 across the 3 of their papers we have counts for
Showing 2014Show all
2 papers · 1 filter
cs.LO2014
Notions of Computation as Monoids
Exequiel Rivas, Mauro Jaskelioff
There are different notions of computation, the most popular being monads, applicative functors, and arrows. In this article we show that these three notions can be seen as monoids…
cs.PL2014
A Representation Theorem for Second-Order Functionals
Mauro Jaskelioff, Russell O'Connor
Representation theorems relate seemingly complex objects to concrete, more tractable ones. In this paper, we take advantage of the abstraction power of category theory and provide…