Stop the war!Остановите войну!
for scientists:
default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDBibTeX records: Mauro Jaskelioff
@article{DBLP:journals/scp/CeresaJ22,
author = {Mart{\'{\i}}n Ceresa and
Mauro Jaskelioff},
title = {Effectful improvement theory},
journal = {Sci. Comput. Program.},
volume = {217},
pages = {102792},
year = {2022},
url = {https://doi.org/10.1016/j.scico.2022.102792},
doi = {10.1016/J.SCICO.2022.102792},
timestamp = {Fri, 01 Apr 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/scp/CeresaJ22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/corr/abs-2207-00852,
author = {Alexandre Garcia de Oliveira and
Mauro Jaskelioff and
Ana Cristina Vieira de Melo},
editor = {Jeremy Gibbons and
Max S. New},
title = {On Structuring Functional Programs with Monoidal Profunctors},
booktitle = {Proceedings Ninth Workshop on Mathematically Structured Functional
Programming, MSFP@ETAPS 2022, Munich, Germany, 2nd April 2022},
series = {{EPTCS}},
volume = {360},
pages = {134--150},
year = {2022},
url = {https://doi.org/10.4204/EPTCS.360.7},
doi = {10.4204/EPTCS.360.7},
timestamp = {Wed, 03 Aug 2022 14:22:40 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-2207-00852.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/haskell/SchrijversPWJ19,
author = {Tom Schrijvers and
Maciej Pir{\'{o}}g and
Nicolas Wu and
Mauro Jaskelioff},
editor = {Richard A. Eisenberg},
title = {Monad transformers and modular algebraic effects: what binds them
together},
booktitle = {Proceedings of the 12th {ACM} {SIGPLAN} International Symposium on
Haskell, Haskell@ICFP 2019, Berlin, Germany, August 18-23, 2019},
pages = {98--113},
publisher = {{ACM}},
year = {2019},
url = {https://doi.org/10.1145/3331545.3342595},
doi = {10.1145/3331545.3342595},
timestamp = {Thu, 14 Oct 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/haskell/SchrijversPWJ19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/scp/RivasJS18,
author = {Exequiel Rivas and
Mauro Jaskelioff and
Tom Schrijvers},
title = {A unified view of monadic and applicative non-determinism},
journal = {Sci. Comput. Program.},
volume = {152},
pages = {70--98},
year = {2018},
url = {https://doi.org/10.1016/j.scico.2017.09.007},
doi = {10.1016/J.SCICO.2017.09.007},
timestamp = {Tue, 21 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/scp/RivasJS18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/haskell/MartinezJL18,
author = {Guido Mart{\'{\i}}nez and
Mauro Jaskelioff and
Guido De Luca},
editor = {Nicolas Wu},
title = {Improving typeclass relations by being open},
booktitle = {Proceedings of the 11th {ACM} {SIGPLAN} International Symposium on
Haskell, Haskell@ICFP 2018, St. Louis, MO, USA, September 27-17, 2018},
pages = {68--80},
publisher = {{ACM}},
year = {2018},
url = {https://doi.org/10.1145/3242744.3242751},
doi = {10.1145/3242744.3242751},
timestamp = {Wed, 23 Jun 2021 15:34:31 +0200},
biburl = {https://dblp.org/rec/conf/haskell/MartinezJL18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lics/PirogSWJ18,
author = {Maciej Pir{\'{o}}g and
Tom Schrijvers and
Nicolas Wu and
Mauro Jaskelioff},
editor = {Anuj Dawar and
Erich Gr{\"{a}}del},
title = {Syntax and Semantics for Operations with Scopes},
booktitle = {Proceedings of the 33rd Annual {ACM/IEEE} Symposium on Logic in Computer
Science, {LICS} 2018, Oxford, UK, July 09-12, 2018},
pages = {809--818},
publisher = {{ACM}},
year = {2018},
url = {https://doi.org/10.1145/3209108.3209166},
doi = {10.1145/3209108.3209166},
timestamp = {Thu, 14 Oct 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/lics/PirogSWJ18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jfp/RivasJ17,
author = {Exequiel Rivas and
Mauro Jaskelioff},
title = {Notions of computation as monoids},
journal = {J. Funct. Program.},
volume = {27},
pages = {e21},
year = {2017},
url = {https://doi.org/10.1017/S0956796817000132},
doi = {10.1017/S0956796817000132},
timestamp = {Tue, 21 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/jfp/RivasJ17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/PostanRJ18,
author = {Ezequiel Postan and
Exequiel Rivas and
Mauro Jaskelioff},
editor = {Rodrigo Santos and
H{\'{e}}ctor Cancela},
title = {Dioids for Computational Effects},
booktitle = {{XLIII} Latin American Computer Conference - Selected Papers, {CLEI}
2017 Selected Papers, Cordoba, Argentina, September 4-8, 2017},
series = {Electronic Notes in Theoretical Computer Science},
volume = {339},
pages = {111--134},
publisher = {Elsevier},
year = {2017},
url = {https://doi.org/10.1016/j.entcs.2018.06.008},
doi = {10.1016/J.ENTCS.2018.06.008},
timestamp = {Wed, 14 Jun 2023 08:50:27 +0200},
biburl = {https://dblp.org/rec/journals/entcs/PostanRJ18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ifl/CaprettaHJ16,
author = {Venanzio Capretta and
Graham Hutton and
Mauro Jaskelioff},
editor = {Tom Schrijvers},
title = {Contractive Functions on Infinite Data Structures},
booktitle = {Proceedings of the 28th Symposium on the Implementation and Application
of Functional Programming Languages, {IFL} 2016, Leuven, Belgium,
August 31 - September 2, 2016},
pages = {5:1--5:13},
publisher = {{ACM}},
year = {2016},
url = {https://doi.org/10.1145/3064899.3064900},
doi = {10.1145/3064899.3064900},
timestamp = {Tue, 21 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/ifl/CaprettaHJ16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jfp/JaskelioffO15,
author = {Mauro Jaskelioff and
Russell O'Connor},
title = {A representation theorem for second-order functionals},
journal = {J. Funct. Program.},
volume = {25},
year = {2015},
url = {https://doi.org/10.1017/S0956796815000088},
doi = {10.1017/S0956796815000088},
timestamp = {Sat, 27 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jfp/JaskelioffO15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icfp/JaskelioffR15,
author = {Mauro Jaskelioff and
Exequiel Rivas},
editor = {Kathleen Fisher and
John H. Reppy},
title = {Functional pearl: a smart view on datatypes},
booktitle = {Proceedings of the 20th {ACM} {SIGPLAN} International Conference on
Functional Programming, {ICFP} 2015, Vancouver, BC, Canada, September
1-3, 2015},
pages = {355--361},
publisher = {{ACM}},
year = {2015},
url = {https://doi.org/10.1145/2784731.2784743},
doi = {10.1145/2784731.2784743},
timestamp = {Tue, 21 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/icfp/JaskelioffR15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ppdp/RivasJS15,
author = {Exequiel Rivas and
Mauro Jaskelioff and
Tom Schrijvers},
editor = {Moreno Falaschi and
Elvira Albert},
title = {From monoids to near-semirings: the essence of MonadPlus and alternative},
booktitle = {Proceedings of the 17th International Symposium on Principles and
Practice of Declarative Programming, Siena, Italy, July 14-16, 2015},
pages = {196--207},
publisher = {{ACM}},
year = {2015},
url = {https://doi.org/10.1145/2790449.2790514},
doi = {10.1145/2790449.2790514},
timestamp = {Tue, 21 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/ppdp/RivasJS15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ecoop/ZanariniJ14,
author = {Dante Zanarini and
Mauro Jaskelioff},
editor = {Alejandro Russo and
Omer Tripp},
title = {Monitoring Reactive Systems with Dynamic Channels},
booktitle = {Proceedings of the Ninth Workshop on Programming Languages and Analysis
for Security, PLAS@ECOOP 2014, Uppsala, Sweden, July 29, 2014},
pages = {66},
publisher = {{ACM}},
year = {2014},
url = {https://doi.org/10.1145/2637113.2637120},
doi = {10.1145/2637113.2637120},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/ecoop/ZanariniJ14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/JaskelioffO14,
author = {Mauro Jaskelioff and
Russell O'Connor},
title = {A Representation Theorem for Second-Order Functionals},
journal = {CoRR},
volume = {abs/1402.1699},
year = {2014},
url = {http://arxiv.org/abs/1402.1699},
eprinttype = {arXiv},
eprint = {1402.1699},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/JaskelioffO14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/RivasJ14,
author = {Exequiel Rivas and
Mauro Jaskelioff},
title = {Notions of Computation as Monoids},
journal = {CoRR},
volume = {abs/1406.4823},
year = {2014},
url = {http://arxiv.org/abs/1406.4823},
eprinttype = {arXiv},
eprint = {1406.4823},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/RivasJ14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/csfw/ZanariniJR13,
author = {Dante Zanarini and
Mauro Jaskelioff and
Alejandro Russo},
title = {Precise Enforcement of Confidentiality for Reactive Systems},
booktitle = {2013 {IEEE} 26th Computer Security Foundations Symposium, New Orleans,
LA, USA, June 26-28, 2013},
pages = {18--32},
publisher = {{IEEE} Computer Society},
year = {2013},
url = {https://doi.org/10.1109/CSF.2013.9},
doi = {10.1109/CSF.2013.9},
timestamp = {Mon, 26 Jun 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/csfw/ZanariniJR13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ifl/HackettHJ13,
author = {Jennifer Hackett and
Graham Hutton and
Mauro Jaskelioff},
editor = {Rinus Plasmeijer},
title = {The Under-Performing Unfold: {A} new approach to optimising corecursive
programs},
booktitle = {Proceedings of the 25th Symposium on Implementation and Application
of Functional Languages, Nijmegen, The Netherlands, August 28-30,
2013},
pages = {1},
publisher = {{ACM}},
year = {2013},
url = {https://doi.org/10.1145/2620678.2620679},
doi = {10.1145/2620678.2620679},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/ifl/HackettHJ13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/corr/abs-1202-2919,
author = {Mauro Jaskelioff and
Ondrej Rypacek},
editor = {James Chapman and
Paul Blain Levy},
title = {An Investigation of the Laws of Traversals},
booktitle = {Proceedings Fourth Workshop on Mathematically Structured Functional
Programming, MSFP@ETAPS 2012, Tallinn, Estonia, 25 March 2012},
series = {{EPTCS}},
volume = {76},
pages = {40--49},
year = {2012},
url = {https://doi.org/10.4204/EPTCS.76.5},
doi = {10.4204/EPTCS.76.5},
timestamp = {Fri, 27 Dec 2019 21:15:10 +0100},
biburl = {https://dblp.org/rec/journals/corr/abs-1202-2919.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ershov/JaskelioffR11,
author = {Mauro Jaskelioff and
Alejandro Russo},
editor = {Edmund M. Clarke and
Irina B. Virbitskaite and
Andrei Voronkov},
title = {Secure Multi-execution in Haskell},
booktitle = {Perspectives of Systems Informatics - 8th International Andrei Ershov
Memorial Conference, {PSI} 2011, Novosibirsk, Russia, June 27-July
1, 2011, Revised Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {7162},
pages = {170--178},
publisher = {Springer},
year = {2011},
url = {https://doi.org/10.1007/978-3-642-29709-0\_16},
doi = {10.1007/978-3-642-29709-0\_16},
timestamp = {Mon, 26 Jun 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/ershov/JaskelioffR11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sfp/DelbiancoJP11,
author = {Germ{\'{a}}n Andr{\'{e}}s Delbianco and
Mauro Jaskelioff and
Alberto Pardo},
editor = {Ricardo Pe{\~{n}}a and
Rex L. Page},
title = {Applicative Shortcut Fusion},
booktitle = {Trends in Functional Programming, 12th International Symposium, {TFP}
2011, Madrid, Spain, May 16-18, 2011, Revised Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {7193},
pages = {179--194},
publisher = {Springer},
year = {2011},
url = {https://doi.org/10.1007/978-3-642-32037-8\_12},
doi = {10.1007/978-3-642-32037-8\_12},
timestamp = {Tue, 14 May 2019 10:00:44 +0200},
biburl = {https://dblp.org/rec/conf/sfp/DelbiancoJP11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/corr/abs-1102-0749,
author = {Pablo Buiras and
Alejandro D{\'{\i}}az{-}Caro and
Mauro Jaskelioff},
editor = {Simona Ronchi Della Rocca and
Elaine Pimentel},
title = {Lower Bounds for Scalars in a Typed Algebraic {\(\lambda\)}-calculus},
booktitle = {Proceedings 6th Workshop on Logical and Semantic Frameworks with Applications,
{LSFA} 2011, Belo Horizonte, Brazil, 27 August 2011},
series = {{EPTCS}},
volume = {81},
pages = {16--29},
year = {2011},
url = {https://doi.org/10.4204/EPTCS.81.2},
doi = {10.4204/EPTCS.81.2},
timestamp = {Wed, 12 Sep 2018 01:05:14 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-1102-0749.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jfp/HuttonJG10,
author = {Graham Hutton and
Mauro Jaskelioff and
Andy Gill},
title = {Factorising folds for faster functions},
journal = {J. Funct. Program.},
volume = {20},
number = {3-4},
pages = {353--373},
year = {2010},
url = {https://doi.org/10.1017/S0956796810000122},
doi = {10.1017/S0956796810000122},
timestamp = {Tue, 21 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/jfp/HuttonJG10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tcs/JaskelioffM10,
author = {Mauro Jaskelioff and
Eugenio Moggi},
title = {Monad transformers as monoid transformers},
journal = {Theor. Comput. Sci.},
volume = {411},
number = {51-52},
pages = {4441--4466},
year = {2010},
url = {https://doi.org/10.1016/j.tcs.2010.09.011},
doi = {10.1016/J.TCS.2010.09.011},
timestamp = {Wed, 17 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/tcs/JaskelioffM10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/esop/Jaskelioff09,
author = {Mauro Jaskelioff},
editor = {Giuseppe Castagna},
title = {Modular Monad Transformers},
booktitle = {Programming Languages and Systems, 18th European Symposium on Programming,
{ESOP} 2009, Held as Part of the Joint European Conferences on Theory
and Practice of Software, {ETAPS} 2009, York, UK, March 22-29, 2009.
Proceedings},
series = {Lecture Notes in Computer Science},
volume = {5502},
pages = {64--79},
publisher = {Springer},
year = {2009},
url = {https://doi.org/10.1007/978-3-642-00590-9\_6},
doi = {10.1007/978-3-642-00590-9\_6},
timestamp = {Tue, 14 May 2019 10:00:41 +0200},
biburl = {https://dblp.org/rec/conf/esop/Jaskelioff09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ifl/Jaskelioff08,
author = {Mauro Jaskelioff},
editor = {Sven{-}Bodo Scholz and
Olaf Chitil},
title = {Monatron: An Extensible Monad Transformer Library},
booktitle = {Implementation and Application of Functional Languages - 20th International
Symposium, {IFL} 2008, Hatfield, UK, September 10-12, 2008. Revised
Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {5836},
pages = {233--248},
publisher = {Springer},
year = {2008},
url = {https://doi.org/10.1007/978-3-642-24452-0\_13},
doi = {10.1007/978-3-642-24452-0\_13},
timestamp = {Tue, 14 May 2019 10:00:35 +0200},
biburl = {https://dblp.org/rec/conf/ifl/Jaskelioff08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/JaskelioffGH11,
author = {Mauro Jaskelioff and
Neil Ghani and
Graham Hutton},
editor = {Venanzio Capretta and
Conor McBride},
title = {Modularity and Implementation of Mathematical Operational Semantics},
booktitle = {Proceedings of the Second Workshop on Mathematically Structured Functional
Programming, MSFP@ICALP 2008, Reykjavik, Iceland, July 6, 2008},
series = {Electronic Notes in Theoretical Computer Science},
volume = {229},
number = {5},
pages = {75--95},
publisher = {Elsevier},
year = {2008},
url = {https://doi.org/10.1016/j.entcs.2011.02.017},
doi = {10.1016/J.ENTCS.2011.02.017},
timestamp = {Tue, 21 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/entcs/JaskelioffGH11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/afp/JaskelioffM05,
author = {Mauro Jaskelioff and
Stephan Merz},
title = {Proving the Correctness of Disk Paxos},
journal = {Arch. Formal Proofs},
volume = {2005},
year = {2005},
url = {https://www.isa-afp.org/entries/DiskPaxos.shtml},
timestamp = {Mon, 25 May 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/afp/JaskelioffM05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
a service of 
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
last updated on 2023-09-27 22:50 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
