1 – 10 of 10
- show: 10
- |
- sort: year (new to old)
Close
Embed this list
<iframe src=""
width=""
height=""
allowtransparency="true"
frameborder="0">
</iframe>
- 2015
- GADTs meet their match : pattern-matching warnings that account for GADTs, guards, and laziness
- 2013
- Generic datatypes a la carte
- Understanding idiomatic traversals backwards and forwards
- 2012
- The implicit calculus: a new foundation for generic programming
- MRI: modular reasoning about interference in incremental programming
- 2011
- Functional programming abstractions for CP modeling
- Parameterized models for on-line and off-line use
- Monads, zippers and views: virtualizing the monad stack
- OUTSIDEIN(X): modular type inference with local assumptions
- Memoizing a monadic mixin DSL