15 citations · 17 across the 3 of their papers we have counts for
5 papers
On Structuring Functional Programs with Monoidal Profunctors
Alexandre Garcia de Oliveira, Mauro Jaskelioff, Ana Cristina Vieira de Melo
We study monoidal profunctors as a tool to reason and structure pure functional programs both from a categorical perspective and as a Haskell implementation. From the categorical p…
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…
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…
An Investigation of the Laws of Traversals
Mauro Jaskelioff, Ondrej Rypacek
Traversals of data structures are ubiquitous in programming. Consequently, it is important to be able to characterise those structures that are traversable and understand their alg…
Confluence via strong normalisation in an algebraic λ-calculus with rewriting
Pablo Buiras, Alejandro Díaz-Caro, Mauro Jaskelioff
The linear-algebraic lambda-calculus and the algebraic lambda-calculus are untyped lambda-calculi extended with arbitrary linear combinations of terms. The former presents the axio…