Applicative shortcut fusion. (English)
Peña, Ricardo (ed.) et al., Trends in functional programming. 12th international symposium, TFP 2011, Madrid, Spain, May 16‒18, 2011. Revised selected papers. Berlin: Springer (ISBN 978-3-642-32036-1/pbk). Lecture Notes in Computer Science 7193, 179-194 (2012).
1
Monatron: An extensible monad transformer library. (English)
Scholz, Sven-Bodo (ed.) et al., Implementation and application of functional languages. 20th international symposium, IFL 2008, Hatfield, UK, September 10‒12, 2008. Revised selected papers. Berlin: Springer (ISBN 978-3-642-24451-3/pbk). Lecture Notes in Computer Science 5836, 233-248 (2011).
2
Modularity and implementation of mathematical operational semantics. (English)
Electron. Notes Theor. Comput. Sci. 229, No. 5, 75-95 (2011).
3
Lower bounds for scalars in a typed algebraic $λ$-calculus. (English)
Comput. Res. Repos. 2011, Article No. 1102.0749 (2011).
4
Factorising folds for faster functions. (English)
J. Funct. Program. 20, No. 3-4, 353-373 (2010).
5
Monad transformers as monoid transformers. (English)
Theor. Comput. Sci. 411, No. 51-52, 4441-4466 (2010).
6
Modular monad transformers. (English)
Castagna, Giuseppe (ed.), 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. Berlin: Springer (ISBN 978-3-642-00589-3/pbk). Lecture Notes in Computer Science 5502, 64-79 (2009).
7
Modular monad transformers (English)
ESOP, 64-79 (2009).
8
Monatron: an extensible monad transformer library (English)
IFL, 233-248 (2008).
9
Start
Contact
Print
General Help
