78
Voted
ENTCS
2006
15 years 8 days ago
2006
We introduce variant types and a pattern matching operation to synchronous dataflow languages. These languages are used in the design of reactive systems. As these systems grow in...