CERESA, MARTÍN; JASKELIOFF, MAURO

Effectful Improvement Theory

SCIENCE OF COMPUTER PROGRAMMING; Lugar: Amsterdam; Año: 2022 vol. 217

DE OLIVEIRA, ALEXANDRE GARCIA; JASKELIOFF, MAURO; DE MELO, ANA CRISTINA VIEIRA

On Structuring Functional Programs with Monoidal Profunctors

Electronic Proceedings in Theoretical Computer Science, EPTCS; Año: 2022 vol. 360 p. 134 - 150

RIVAS, EXEQUIEL; JASKELIOFF, MAURO; SCHRIJVERS, TOM

A unified view of monadic and applicative non-determinism

SCIENCE OF COMPUTER PROGRAMMING; Año: 2018 vol. 152 p. 70 - 98

MARTÍNEZ, GUIDO; JASKELIOFF, MAURO; DE LUCA, GUIDO

Improving typeclass relations by being open

ACM SIGPLAN NOTICES; Lugar: New york; Año: 2018 vol. 53 p. 68 - 80

PIRÓG, MACIEJ; SCHRIJVERS, TOM; WU, NICOLAS; JASKELIOFF, MAURO

Syntax and semantics for operations with scopes

Proceedings - Symposium on Logic in Computer Science; Lugar: New York; Año: 2018 p. 809 - 818

RIVAS, EXEQUIEL; JASKELIOFF, MAURO

Notions of computation as monoids

JOURNAL OF FUNCTIONAL PROGRAMMING; Año: 2017 vol. 27

MAURO JASKELIOFF; EXEQUIEL RIVAS

Functional pearl: a smart view on datatypes

ACM SIGPLAN NOTICES; Lugar: New York - USA; Año: 2015 vol. 50 p. 355 - 361

MAURO JASKELIOFF; RUSSELL O'CONNOR

A Representation Theorem for Second-Order Functionals

JOURNAL OF FUNCTIONAL PROGRAMMING; Lugar: Cambridge; Año: 2015 vol. 25

RIVAS, EXEQUIEL; JASKELIOFF, MAURO; SCHRIJVERS, TOM

From monoids to near-semirings: The essence of MonadPlus and Alternative

Proceedings of the 17th International Symposium on Principles and Practice of Declarative Programming, PPDP 2015; Lugar: New York; Año: 2015 p. 196 - 207

JASKELIOFF, MAURO; RYPACEK, ONDREJ

An investigation of the laws of traversals

Electronic Proceedings in Theoretical Computer Science, EPTCS; Lugar: Waterloo; Año: 2012 vol. 76 p. 40 - 49

JASKELIOFF, MAURO; GHANI, NEIL; HUTTON, GRAHAM

Modularity and implementation of mathematical operational semantics

Electronic Notes in Theoretical Computer Science; Lugar: Amsterdam; Año: 2011 vol. 229 p. 75 - 95

MAURO JASKELIOFF; EUGENIO MOGGI

Monad Transformers as Monoid Transformers

THEORETICAL COMPUTER SCIENCE; Año: 2010 vol. 411 p. 4441 - 4466

GRAHAM HUTTON; MAURO JASKELIOFF; ANDY GILL

Factorising Folds for Faster Functions

JOURNAL OF FUNCTIONAL PROGRAMMING; Lugar: Cambridge, Reino Unido; Año: 2010 vol. 20 p. 353 - 373

JASKELIOFF, MAURO

Modular monad transformers

LECTURE NOTES IN COMPUTER SCIENCE; Lugar: Berlín; Año: 2009 vol. 5502 p. 64 - 79

MAURO JASKELIOFF; STEPHAN MERZ

Proving the correctness of Disk Paxos

Archive of Formal Proofs; Año: 2005 p. 1 - 12