Show
Sort by
-
GADTs meet their match : pattern-matching warnings that account for GADTs, guards, and laziness
-
Generic datatypes a la carte
-
Understanding idiomatic traversals backwards and forwards
-
MRI : modular reasoning about interference in incremental programming
-
The implicit calculus: a new foundation for generic programming
-
OUTSIDEIN(X) : modular type inference with local assumptions
-
Monads, zippers and views: virtualizing the monad stack
-
- Conference Paper
- P1
- open access
Memoizing a monadic mixin DSL
-
- Conference Paper
- C1
- open access
Parameterized models for on-line and off-line use
-
Functional programming abstractions for CP modeling
(2011)