Show
Sort by
-
Quasar tutorial: High-level programming of Heterogeneous Hardware
(2016) -
CRIMESPOT : a language and runtime for developing active wireless sensor network applications
-
Meta-theory à la carte
-
The implicit calculus: a new foundation for generic programming
-
MRI : modular reasoning about interference in incremental programming
-
Ambient contracts : verifying and enforcing ambient object compositions à la carte
-
Monads, zippers and views: virtualizing the monad stack
-
- Conference Paper
- P1
- open access
Memoizing a monadic mixin DSL
-
Functional programming abstractions for CP modeling
(2011) -
The paralax infrastructure: automatic parallelization with a helping hand