15 citations · 16 across the 2 of their papers we have counts for
Showing cs.PLShow all
2 papers · 1 filter
cs.PL2022★ 1 cited
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…
cs.PL2012★ 15 cited
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…