The following pages link to Mauro Jaskelioff (Q615953):
Displayed 11 items.
- Monad transformers as monoid transformers (Q615955) (← links)
- Functional pearl: a smart view on datatypes (Q2981985) (← links)
- Factorising folds for faster functions (Q3070772) (← links)
- Modular Monad Transformers (Q3617691) (← links)
- Notions of computation as monoids (Q4625158) (← links)
- Syntax and Semantics for Operations with Scopes (Q5145358) (← links)
- Modularity and Implementation of Mathematical Operational Semantics (Q5166622) (← links)
- A representation theorem for second-order functionals (Q5371942) (← links)
- (Q5854727) (← links)
- (Q5858674) (← links)
- (Q6068938) (← links)