15 citations · 17 across the 3 of their papers we have counts for
3 papers · 1 filter
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…
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…