@phdthesis{Jeltsch2011, author = {Jeltsch, Wolfgang}, title = {Strongly typed and efficient functional reactive programming}, url = {http://nbn-resolving.de/urn:nbn:de:kobv:co1-opus-24369}, school = {BTU Cottbus - Senftenberg}, year = {2011}, abstract = {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.}, subject = {Haskell; Funktionale Programmierung; Funktionale Reaktive Programmierung; funktionale Programmierung; Haskell; Records; Kind-System; Functional reactive programming; Functional programming; Haskell; Records; Kind system}, language = {en} }