Refine
Document Type
- Doctoral thesis (1)
Has Fulltext
- yes (1) (remove)
Is part of the Bibliography
- no (1)
Year of publication
- 2011 (1)
Language
- English (1)
Keywords
- Functional programming (1)
- Functional reactive programming (1)
- Funktionale Programmierung (1)
- Funktionale Reaktive Programmierung (1)
- Haskell (1)
- Kind system (1)
- Kind-System (1)
- Records (1)
- funktionale Programmierung (1)
Institute
Functional Reactive Programming (FRP) is a declarative approach to programming reactive and interactive systems. We develop a common interface and a common semantics for FRP and discuss existing implementation approaches. Afterwards, we develop a technique for ensuring start time consistency as well as an efficient implementation of discrete signals. Finally, we present a novel record system, which makes FRP more usable in practice. Our system offers generic record combinators that are statically typed.