Folgen
Mauro Jaskelioff
Mauro Jaskelioff
CIFASIS/CONICET - Universidad Nacional de Rosario
Bestätigte E-Mail-Adresse bei fceia.unr.edu.ar - Startseite
Titel
Zitiert von
Zitiert von
Jahr
Secure multi-execution in Haskell
M Jaskelioff, A Russo
Perspectives of Systems Informatics: 8th International Andrei Ershov …, 2012
512012
Precise enforcement of confidentiality for reactive systems
D Zanarini, M Jaskelioff, A Russo
2013 IEEE 26th Computer Security Foundations Symposium, 18-32, 2013
402013
Monatron: An Extensible Monad Transformer Library.
M Jaskelioff
IFL, 233-248, 2008
392008
Modular monad transformers
M Jaskelioff
Programming Languages and Systems: 18th European Symposium on Programming …, 2009
372009
Modularity and implementation of mathematical operational semantics
M Jaskelioff, N Ghani, G Hutton
Electronic notes in theoretical computer science 229 (5), 75-95, 2011
342011
Monad transformers as monoid transformers
M Jaskelioff, E Moggi
Theoretical computer science 411 (51-52), 4441-4466, 2010
332010
Monad transformers and modular algebraic effects: what binds them together
T Schrijvers, M Piróg, N Wu, M Jaskelioff
Proceedings of the 12th ACM SIGPLAN International Symposium on Haskell, 98-113, 2019
322019
Syntax and semantics for operations with scopes
M Piróg, T Schrijvers, N Wu, M Jaskelioff
Proceedings of the 33rd Annual ACM/IEEE Symposium on Logic in Computer …, 2018
322018
Notions of Computation as Monoids
E Rivas, M Jaskelioff
31*
Factorising folds for faster functions
G Hutton, M Jaskelioff, A Gill
Journal of Functional Programming 20 (3-4), 353-373, 2010
272010
A representation theorem for second-order functionals
M Jaskelioff, R O'connor
Journal of functional programming 25, e13, 2015
252015
Proving the correctness of disk paxos
M Jaskelioff, S Merz
Archive of Formal Proofs 2005, 2005
252005
An investigation of the laws of traversals
M Jaskelioff, O Rypacek
arXiv preprint arXiv:1202.2919, 2012
232012
Lifting of operations in modular monadic semantics
MJ Jaskelioff
University of Nottingham, 2009
192009
From monoids to near-semirings: the essence of MonadPlus and Alternative
E Rivas, M Jaskelioff, T Schrijvers
Proceedings of the 17th International Symposium on Principles and Practice …, 2015
172015
Representing contractive functions on streams
G Hutton, M Jaskelioff
Submitted to Journal of Functional Programming, 2011
102011
Confluence via strong normalisation in an algebraic\lambda-calculus with rewriting
P Buiras, A Díaz-Caro, M Jaskelioff
arXiv preprint arXiv:1102.0749, 2011
82011
Functional pearl: a smart view on datatypes
M Jaskelioff, E Rivas
Proceedings of the 20th ACM SIGPLAN International Conference on Functional …, 2015
62015
Applicative shortcut fusion
GA Delbianco, M Jaskelioff, A Pardo
Trends in Functional Programming: 12th International Symposium, TFP 2011 …, 2012
62012
Proving the Correctness of Disk Paxos. Archive of Formal Proofs (June 2005)
M Jaskelioff, S Merz
52005
Das System kann den Vorgang jetzt nicht ausführen. Versuchen Sie es später erneut.
Artikel 1–20