Sciweavers

6 search results - page 2 / 2
» Reactive noninterference
Sort
View
ICFP
2009
ACM
14 years 5 months ago
Causal commutative arrows and their optimization
re a popular form of abstract computation. Being more general than monads, they are more broadly applicable, and in parare a good abstraction for signal processing and dataflow co...
Hai Liu, Eric Cheng, Paul Hudak