Mauro Jaskelioff
Refine list

refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
showing all ?? records
2010 – today
- 2018
- [j7]Ezequiel Postan, Exequiel Rivas, Mauro Jaskelioff:
Dioids for Computational Effects. Electr. Notes Theor. Comput. Sci. 339: 111-134 (2018) - [j6]Exequiel Rivas, Mauro Jaskelioff, Tom Schrijvers:
A unified view of monadic and applicative non-determinism. Sci. Comput. Program. 152: 70-98 (2018) - [c14]Guido Martínez, Mauro Jaskelioff, Guido De Luca:
Improving typeclass relations by being open. Haskell@ICFP 2018: 68-80 - [c13]Maciej Piróg, Tom Schrijvers, Nicolas Wu, Mauro Jaskelioff:
Syntax and Semantics for Operations with Scopes. LICS 2018: 809-818 - 2017
- [j5]Exequiel Rivas, Mauro Jaskelioff:
Notions of computation as monoids. J. Funct. Program. 27: e21 (2017) - 2016
- [c12]Venanzio Capretta, Graham Hutton, Mauro Jaskelioff:
Contractive Functions on Infinite Data Structures. IFL 2016: 5:1-5:13 - 2015
- [j4]Mauro Jaskelioff, Russell O'Connor:
A representation theorem for second-order functionals. J. Funct. Program. 25 (2015) - [c11]
- [c10]Exequiel Rivas, Mauro Jaskelioff, Tom Schrijvers:
From monoids to near-semirings: the essence of MonadPlus and alternative. PPDP 2015: 196-207 - 2014
- [c9]Dante Zanarini, Mauro Jaskelioff:
Monitoring Reactive Systems with Dynamic Channels. PLAS@ECOOP 2014: 66 - [i2]Mauro Jaskelioff, Russell O'Connor:
A Representation Theorem for Second-Order Functionals. CoRR abs/1402.1699 (2014) - [i1]
- 2013
- [c8]Dante Zanarini, Mauro Jaskelioff, Alejandro Russo:
Precise Enforcement of Confidentiality for Reactive Systems. CSF 2013: 18-32 - [c7]Jennifer Hackett, Graham Hutton, Mauro Jaskelioff:
The Under-Performing Unfold: A new approach to optimising corecursive programs. IFL 2013: 1 - 2012
- [c6]
- 2011
- [j3]Mauro Jaskelioff, Neil Ghani, Graham Hutton:
Modularity and Implementation of Mathematical Operational Semantics. Electr. Notes Theor. Comput. Sci. 229(5): 75-95 (2011) - [c5]Mauro Jaskelioff, Alejandro Russo:
Secure Multi-execution in Haskell. Ershov Memorial Conference 2011: 170-178 - [c4]Germán Andrés Delbianco, Mauro Jaskelioff, Alberto Pardo:
Applicative Shortcut Fusion. Trends in Functional Programming 2011: 179-194 - [c3]Pablo Buiras, Alejandro Díaz-Caro, Mauro Jaskelioff:
Lower Bounds for Scalars in a Typed Algebraic λ-calculus. LSFA 2011: 16-29 - 2010
- [j2]Graham Hutton, Mauro Jaskelioff, Andy Gill:
Factorising folds for faster functions. J. Funct. Program. 20(3-4): 353-373 (2010) - [j1]Mauro Jaskelioff, Eugenio Moggi:
Monad transformers as monoid transformers. Theor. Comput. Sci. 411(51-52): 4441-4466 (2010)
2000 – 2009
- 2009
- [c2]
- 2008
- [c1]
- 2005
- [d1]Mauro Jaskelioff, Stephan Merz:
Proving the Correctness of Disk Paxos. Archive of Formal Proofs 2005 (2005)
Coauthor Index
last updated on 2019-01-30 01:17 CET by the dblp team
data released under the ODC-BY 1.0 license
see also: Terms of Use | Privacy Policy | Imprint