Froc library / A stable / A stable Figure / Dataflow Graphs The store / Spacetime Leaks Neelakantan R. Krishnaswami Max Planck Institute / /
IndustryTerm
natural tool / web applications / dataflow network / sensor networks / reactive systems / dataflow networks / prior type systems / computing / type systems / embedded control software / /
NaturalFeature
Streams Switching / /
Organization
Spacetime Leaks Neelakantan R. Krishnaswami Max Planck Institute for Software Systems / / /
Position
author / guard / qualifier / semantic model of stream programming / scheduler / head / stable qualifier / forward us xs / programmer / /
ProgrammingLanguage
Esterel / HTML / Scala / /
RadioStation
10 What / /
Technology
functional programming / single-loop / dom / HTML / GUI / /
Higher-Order Functional Reactive Programming without Spacetime Leaks Neelakantan R. Krishnaswami