Folgen
Mauro Jaskelioff
Mauro Jaskelioff
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
International Andrei Ershov Memorial Conference on Perspectives of System …, 2011
522011
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
432018
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
422019
Precise enforcement of confidentiality for reactive systems
D Zanarini, M Jaskelioff, A Russo
2013 IEEE 26th Computer Security Foundations Symposium, 18-32, 2013
412013
Modular monad transformers
M Jaskelioff
Programming Languages and Systems: 18th European Symposium on Programming …, 2009
412009
Monatron: An extensible monad transformer library
M Jaskelioff
Symposium on Implementation and Application of Functional Languages, 233-248, 2008
412008
Notions of Computation as Monoids
E Rivas, M Jaskelioff
38*
Monad transformers as monoid transformers
M Jaskelioff, E Moggi
Theoretical computer science 411 (51-52), 4441-4466, 2010
362010
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
A representation theorem for second-order functionals
M Jaskelioff, R O'connor
Journal of functional programming 25, e13, 2015
302015
An investigation of the laws of traversals
M Jaskelioff, O Rypacek
arXiv preprint arXiv:1202.2919, 2012
292012
Factorising folds for faster functions
G Hutton, M Jaskelioff, A Gill
Journal of Functional Programming 20 (3-4), 353-373, 2010
282010
Proving the correctness of disk paxos
M Jaskelioff, S Merz
Archive of Formal Proofs 2005, 2005
252005
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
202015
Lifting of operations in modular monadic semantics
MJ Jaskelioff
University of Nottingham, 2009
192009
Representing contractive functions on streams
G Hutton, M Jaskelioff
Submitted to Journal of Functional Programming, 2011
122011
Functional pearl: a smart view on datatypes
M Jaskelioff, E Rivas
Proceedings of the 20th ACM SIGPLAN International Conference on Functional …, 2015
72015
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
72011
Proving the correctness of disk paxos. Archive of Formal Proofs (June 2005)
M Jaskelioff, S Merz
72005
A unified view of monadic and applicative non-determinism
E Rivas, M Jaskelioff, T Schrijvers
Science of Computer Programming 152, 70-98, 2018
62018
Das System kann den Vorgang jetzt nicht ausführen. Versuchen Sie es später erneut.
Artikel 1–20