Sciweavers

3 search results - page 1 / 1
» Causal commutative arrows and their optimization
Sort
View
ICFP
2009
ACM
14 years 10 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
PADL
2010
Springer
14 years 6 months ago
An Ode to Arrows
Abstract. We study a number of embedded DSLs for autonomous ordinary differential equations (autonomous ODEs) in Haskell. A naive implementation based on the lazy tower of derivat...
Hai Liu, Paul Hudak
ICDAR
2009
IEEE
14 years 4 months ago
Recognition of On-Line Handwritten Commutative Diagrams
We present a method for the recognition of on-line handwritten commutative diagrams. Diagrams are formed with arrows that join relatively simple mathematical expressions. Diagram ...
Andreas Stoffel, Ernesto Tapia, Raúl Rojas