| Secure multi-execution in Haskell M Jaskelioff, A Russo International Andrei Ershov Memorial Conference on Perspectives of System …, 2011 | 52 | 2011 |
| 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 | 42 | 2018 |
| Precise enforcement of confidentiality for reactive systems D Zanarini, M Jaskelioff, A Russo 2013 IEEE 26th Computer Security Foundations Symposium, 18-32, 2013 | 42 | 2013 |
| Modular monad transformers M Jaskelioff Programming Languages and Systems: 18th European Symposium on Programming …, 2009 | 41 | 2009 |
| Monatron: An extensible monad transformer library M Jaskelioff Symposium on Implementation and Application of Functional Languages, 233-248, 2008 | 41 | 2008 |
| 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 | 40 | 2019 |
| 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 | 36 | 2010 |
| Modularity and implementation of mathematical operational semantics M Jaskelioff, N Ghani, G Hutton Electronic notes in theoretical computer science 229 (5), 75-95, 2011 | 34 | 2011 |
| A representation theorem for second-order functionals M Jaskelioff, R O'connor Journal of functional programming 25, e13, 2015 | 30 | 2015 |
| An investigation of the laws of traversals M Jaskelioff, O Rypacek arXiv preprint arXiv:1202.2919, 2012 | 29 | 2012 |
| Factorising folds for faster functions G Hutton, M Jaskelioff, A Gill Journal of Functional Programming 20 (3-4), 353-373, 2010 | 28 | 2010 |
| Proving the correctness of disk paxos M Jaskelioff, S Merz Archive of Formal Proofs 2005, 2005 | 26 | 2005 |
| 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 | 20 | 2015 |
| Lifting of operations in modular monadic semantics MJ Jaskelioff University of Nottingham, 2009 | 19 | 2009 |
| Representing contractive functions on streams G Hutton, M Jaskelioff Submitted to Journal of Functional Programming, 2011 | 12 | 2011 |
| 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 | 9 | 2011 |
| Functional pearl: a smart view on datatypes M Jaskelioff, E Rivas Proceedings of the 20th ACM SIGPLAN International Conference on Functional …, 2015 | 7 | 2015 |
| A unified view of monadic and applicative non-determinism E Rivas, M Jaskelioff, T Schrijvers Science of Computer Programming 152, 70-98, 2018 | 6 | 2018 |
| Applicative shortcut fusion GA Delbianco, M Jaskelioff, A Pardo International Symposium on Trends in Functional Programming, 179-194, 2011 | 6 | 2011 |
Tom SchrijversProfessor of Computer Science, KU Leuven在 cs.kuleuven.be 的电子邮件经过验证
