ask others

Mauro Jaskelioff

> Home > Persons

Refine list

refinements active!

zoomed in on ?? of ?? records

view refined list in

export refined list as

showing all ?? records

2010 – today

see FAQ

What is the meaning of the colors in the publication lists?

2018
[j7]
- view
  - electronic edition via DOI
- export record
  dblp key:
  - journals/entcs/PostanRJ18
- ask others
- share record
  short URL:
  - https://dblp.org/rec/journals/entcs/PostanRJ18
Ezequiel Postan, Exequiel Rivas, Mauro Jaskelioff:
Dioids for Computational Effects. Electr. Notes Theor. Comput. Sci. 339: 111-134 (2018)
[j6]
- view
  - electronic edition via DOI
- export record
  dblp key:
  - journals/scp/RivasJS18
- ask others
- share record
  short URL:
  - https://dblp.org/rec/journals/scp/RivasJS18
Exequiel Rivas, Mauro Jaskelioff, Tom Schrijvers:
A unified view of monadic and applicative non-determinism. Sci. Comput. Program. 152: 70-98 (2018)
[c14]
- view
  - electronic edition via DOI
- export record
  dblp key:
  - conf/haskell/MartinezJL18
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/haskell/MartinezJL18
Guido Martínez, Mauro Jaskelioff, Guido De Luca:
Improving typeclass relations by being open. Haskell@ICFP 2018: 68-80
[c13]
- view
  - electronic edition via DOI
- export record
  dblp key:
  - conf/lics/PirogSWJ18
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/lics/PirogSWJ18
Maciej Piróg, Tom Schrijvers, Nicolas Wu, Mauro Jaskelioff:
Syntax and Semantics for Operations with Scopes. LICS 2018: 809-818
2017
[j5]
- view
  - electronic edition via DOI
- export record
  dblp key:
  - journals/jfp/RivasJ17
- ask others
- share record
  short URL:
  - https://dblp.org/rec/journals/jfp/RivasJ17
Exequiel Rivas, Mauro Jaskelioff:
Notions of computation as monoids. J. Funct. Program. 27: e21 (2017)
2016
[c12]
- view
  - electronic edition via DOI
- export record
  dblp key:
  - conf/ifl/CaprettaHJ16
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/ifl/CaprettaHJ16
Venanzio Capretta, Graham Hutton, Mauro Jaskelioff:
Contractive Functions on Infinite Data Structures. IFL 2016: 5:1-5:13
2015
[j4]
- view
  - electronic edition via DOI
- export record
  dblp key:
  - journals/jfp/JaskelioffO15
- ask others
- share record
  short URL:
  - https://dblp.org/rec/journals/jfp/JaskelioffO15
Mauro Jaskelioff, Russell O'Connor:
A representation theorem for second-order functionals. J. Funct. Program. 25 (2015)
[c11]
- view
  - electronic edition via DOI
- export record
  dblp key:
  - conf/icfp/JaskelioffR15
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/icfp/JaskelioffR15
Mauro Jaskelioff, Exequiel Rivas:
Functional pearl: a smart view on datatypes. ICFP 2015: 355-361
[c10]
- view
  - electronic edition via DOI
- export record
  dblp key:
  - conf/ppdp/RivasJS15
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/ppdp/RivasJS15
Exequiel Rivas, Mauro Jaskelioff, Tom Schrijvers:
From monoids to near-semirings: the essence of MonadPlus and alternative. PPDP 2015: 196-207
2014
[c9]
- view
  - electronic edition via DOI
- export record
  dblp key:
  - conf/ecoop/ZanariniJ14
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/ecoop/ZanariniJ14
Dante Zanarini, Mauro Jaskelioff:
Monitoring Reactive Systems with Dynamic Channels. PLAS@ECOOP 2014: 66
[i2]
- view
  - electronic edition @ arxiv.org
- export record
  dblp key:
  - journals/corr/JaskelioffO14
- ask others
- share record
  short URL:
  - https://dblp.org/rec/journals/corr/JaskelioffO14
Mauro Jaskelioff, Russell O'Connor:
A Representation Theorem for Second-Order Functionals. CoRR abs/1402.1699 (2014)
[i1]
- view
  - electronic edition @ arxiv.org
- export record
  dblp key:
  - journals/corr/RivasJ14
- ask others
- share record
  short URL:
  - https://dblp.org/rec/journals/corr/RivasJ14
Exequiel Rivas, Mauro Jaskelioff:
Notions of Computation as Monoids. CoRR abs/1406.4823 (2014)
2013
[c8]
- view
  - electronic edition via DOI
  - electronic edition @ ieeecomputersociety.org
- export record
  dblp key:
  - conf/csfw/ZanariniJR13
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/csfw/ZanariniJR13
Dante Zanarini, Mauro Jaskelioff, Alejandro Russo:
Precise Enforcement of Confidentiality for Reactive Systems. CSF 2013: 18-32
[c7]
- view
  - electronic edition via DOI
- export record
  dblp key:
  - conf/ifl/HackettHJ13
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/ifl/HackettHJ13
Jennifer Hackett, Graham Hutton, Mauro Jaskelioff:
The Under-Performing Unfold: A new approach to optimising corecursive programs. IFL 2013: 1
2012
[c6]
- view
  - electronic edition via DOI
  - electronic edition @ arxiv.org
- export record
  dblp key:
  - journals/corr/abs-1202-2919
- ask others
- share record
  short URL:
  - https://dblp.org/rec/journals/corr/abs-1202-2919
Mauro Jaskelioff, Ondrej Rypacek:
An Investigation of the Laws of Traversals. MSFP 2012: 40-49
2011
[j3]
- view
  - electronic edition via DOI
- export record
  dblp key:
  - journals/entcs/JaskelioffGH11
- ask others
- share record
  short URL:
  - https://dblp.org/rec/journals/entcs/JaskelioffGH11
Mauro Jaskelioff, Neil Ghani, Graham Hutton:
Modularity and Implementation of Mathematical Operational Semantics. Electr. Notes Theor. Comput. Sci. 229(5): 75-95 (2011)
[c5]
- view
  - electronic edition via DOI
- export record
  dblp key:
  - conf/ershov/JaskelioffR11
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/ershov/JaskelioffR11
Mauro Jaskelioff, Alejandro Russo:
Secure Multi-execution in Haskell. Ershov Memorial Conference 2011: 170-178
[c4]
- view
  - electronic edition via DOI
- export record
  dblp key:
  - conf/sfp/DelbiancoJP11
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/sfp/DelbiancoJP11
Germán Andrés Delbianco, Mauro Jaskelioff, Alberto Pardo:
Applicative Shortcut Fusion. Trends in Functional Programming 2011: 179-194
[c3]
- view
  - electronic edition via DOI
  - electronic edition @ arxiv.org
- export record
  dblp key:
  - journals/corr/abs-1102-0749
- ask others
- share record
  short URL:
  - https://dblp.org/rec/journals/corr/abs-1102-0749
Pablo Buiras, Alejandro Díaz-Caro, Mauro Jaskelioff:
Lower Bounds for Scalars in a Typed Algebraic λ-calculus. LSFA 2011: 16-29
2010
[j2]
- view
  - electronic edition via DOI
- export record
  dblp key:
  - journals/jfp/HuttonJG10
- ask others
- share record
  short URL:
  - https://dblp.org/rec/journals/jfp/HuttonJG10
Graham Hutton, Mauro Jaskelioff, Andy Gill:
Factorising folds for faster functions. J. Funct. Program. 20(3-4): 353-373 (2010)
[j1]
- view
  - electronic edition via DOI
- export record
  dblp key:
  - journals/tcs/JaskelioffM10
- ask others
- share record
  short URL:
  - https://dblp.org/rec/journals/tcs/JaskelioffM10
Mauro Jaskelioff, Eugenio Moggi:
Monad transformers as monoid transformers. Theor. Comput. Sci. 411(51-52): 4441-4466 (2010)

2000 – 2009

see FAQ

What is the meaning of the colors in the publication lists?

2009
[c2]
- view
  - electronic edition via DOI
- export record
  dblp key:
  - conf/esop/Jaskelioff09
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/esop/Jaskelioff09
Mauro Jaskelioff:
Modular Monad Transformers. ESOP 2009: 64-79
2008
[c1]
- view
  - electronic edition via DOI
- export record
  dblp key:
  - conf/ifl/Jaskelioff08
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/ifl/Jaskelioff08
Mauro Jaskelioff:
Monatron: An Extensible Monad Transformer Library. IFL 2008: 233-248
2005
[d1]
- view
  - electronic edition @ isa-afp.org
- export record
  dblp key:
  - journals/afp/JaskelioffM05
- ask others
- share record
  short URL:
  - https://dblp.org/rec/journals/afp/JaskelioffM05
Mauro Jaskelioff, Stephan Merz:
Proving the Correctness of Disk Paxos. Archive of Formal Proofs 2005 (2005)

maintained by

, founded at