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

On Structuring Functional Programs with Monoidal Profunctors

Ninth Workshop on Mathematically Structured Functional Programming

Lugar: Munich; Año: 2022;

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

Monad transformers and modular algebraic effects: what binds them together

12th ACM SIGPLAN International Symposium on Haskell

Lugar: Berlin; Año: 2019;

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

Improving typeclass relations by being open

11th ACM SIGPLAN International Symposium on Haskell

Lugar: St Louis; Año: 2018;

VENANZIO CAPRETTA; GRAHAM HUTTON; MAURO JASKELIOFF

Contractive Functions on Infinite Data Structures

The 28th symposium on Implementation and Application of Functional Languages

Lugar: Leuven; Año: 2016;

EXEQUIEL RIVAS; MAURO JASKELIOFF; TOM SCHRIJVERS

From Monoids to NearSemirings: The Essence of MonadPlus and Alternative

17th International Symposium on Principles and Practice of Declarative Programming

Lugar: Siena; Año: 2015;

MAURO JASKELIOFF; EXEQUIEL RIVAS

A Smart View on Datatypes

Proceedings of the 20th ACM SIGPLAN International Conference on Functional Programming

Lugar: Vancouver; Año: 2015;

DANTE ZANARINI; MAURO JASKELIOFF

Monitoring Reactive Systems with Dynamic Channels

Ninth Workshop on Programming Languages and Analysis for Security

Lugar: Uppsala; Año: 2014;

DANTE ZANARINI; MAURO JASKELIOFF; ALEJANDRO RUSSO

Precise Enforcement of Confidentiality for Reactive Systems

Computer Security Foundations Symposium (CSF), 2013 IEEE 26th

Lugar: New Orleans; Año: 2013;

JENNIFER HACKETT; GRAHAM HUTTON; MAURO JASKELIOFF

The Under Performing Unfold: A New Approach to Optimising Corecursive Programs

25th Symposium on Implementation and Application of Functional Languages

Lugar: Nijmegen; Año: 2013;

JENNIFER HACKETT; GRAHAM HUTTON; MAURO JASKELIOFF

The Under Performing Unfold: A New Approach to Optimising Corecursive Programs (pre-proceedings)

Implementation and Application of Functional Languages

Lugar: Nijmegen; Año: 2013;

MAURO JASKELIOFF; ONDREJ RYPACEK

An Investigation of The Laws of Traversals

Fourth Workshop on Mathematically Structured Functional Programming

Lugar: Tallinn; Año: 2012;

MAURO JASKELIOFF; ALEJANDRO RUSSO

Secure Multi-Execution in Haskell

Andrei Ershov International Conference on Perspectives of System Informatics (PSI'11)

Lugar: Novosibirsk; Año: 2011;

GERMÁN DELBIANCO; MAURO JASKELIOFF; ALBERTO PARDO

Applicative Shortcut Fusion

Trends in Functional Programming

Lugar: Madrid; Año: 2011;

PABLO BUIRAS; ALEJANDRO DÍAZ CARO; MAURO JASKELIOFF

Confluence via strong normalisation in an algebraic λ-calculus with rewriting

Workshop on Logical and Semantic Frameworks with Applications

Lugar: Belo Horizonte; Año: 2011;

MAURO JASKELIOFF

Modular Monad Transformers

European Symposium of Programming

Lugar: York; Año: 2009;

MAURO JASKELIOFF

Monatron: An Extensible Monad Transformers Library

Implementation and Application of Functional Languages

Lugar: Hatfield, United Kingdom; Año: 2008;

MAURO JASKELIOFF; NEIL GHANI

Guarded Recursion and Mathematical Operational Semantics

Coalgebraic Methods in Computer Science

Lugar: Budapest; Año: 2008;

MAURO JASKELIOFF; NEIL GHANI; GRAHAM HUTTON

Modularity and Implementation of Mathematical Operational Semantics

Mathematically Structured Functional Programming (MSFP 2008)

Lugar: Reykjavik; Año: 2008;