<?xml version="1.0" encoding="utf-8"?>
<export-example>
  <doc>
    <id>2359</id>
    <completedYear>2011</completedYear>
    <publishedYear/>
    <thesisYearAccepted/>
    <language>eng</language>
    <pageFirst/>
    <pageLast/>
    <pageNumber/>
    <edition/>
    <issue/>
    <volume/>
    <type>doctoralthesis</type>
    <publisherName/>
    <publisherPlace/>
    <creatingCorporation/>
    <contributingCorporation/>
    <belongsToBibliography>0</belongsToBibliography>
    <completedDate>2012-03-29</completedDate>
    <publishedDate>--</publishedDate>
    <thesisDateAccepted>2011-12-08</thesisDateAccepted>
    <title language="eng">Strongly typed and efficient functional reactive programming</title>
    <title language="deu">Stark typisierte und effiziente Funktionale Reaktive Programmierung</title>
    <abstract language="eng">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.</abstract>
    <abstract language="deu">Funktionale Reaktive Programmierung (FRP) ist ein deklarativer Ansatz zur Programmierung reaktiver und interaktiver Systeme. Wir entwickeln eine einheitliche Schnittstelle und eine einheitliche Semantik für FRP und diskutieren existierende Implementierungsansätze. Danach entwickeln wir eine Technik zur Sicherung von Startzeitkonsistenz sowie eine effiziente Implementierung diskreter Signale. Schließlich präsentieren wir ein neuartiges Record-System, welches FRP besser nutzbar in der Praxis macht. Unser System bietet generische Record-Kombinatoren, die statisch typisiert sind.</abstract>
    <identifier type="urn">urn:nbn:de:kobv:co1-opus-24369</identifier>
    <identifier type="opus3-id">2436</identifier>
    <author>Wolfgang Jeltsch</author>
    <subject>
      <language>deu</language>
      <type>swd</type>
      <value>Haskell</value>
    </subject>
    <subject>
      <language>deu</language>
      <type>swd</type>
      <value>Funktionale Programmierung</value>
    </subject>
    <subject>
      <language>deu</language>
      <type>uncontrolled</type>
      <value>Funktionale Reaktive Programmierung</value>
    </subject>
    <subject>
      <language>deu</language>
      <type>uncontrolled</type>
      <value>funktionale Programmierung</value>
    </subject>
    <subject>
      <language>deu</language>
      <type>uncontrolled</type>
      <value>Haskell</value>
    </subject>
    <subject>
      <language>deu</language>
      <type>uncontrolled</type>
      <value>Records</value>
    </subject>
    <subject>
      <language>deu</language>
      <type>uncontrolled</type>
      <value>Kind-System</value>
    </subject>
    <subject>
      <language>eng</language>
      <type>uncontrolled</type>
      <value>Functional reactive programming</value>
    </subject>
    <subject>
      <language>eng</language>
      <type>uncontrolled</type>
      <value>Functional programming</value>
    </subject>
    <subject>
      <language>eng</language>
      <type>uncontrolled</type>
      <value>Haskell</value>
    </subject>
    <subject>
      <language>eng</language>
      <type>uncontrolled</type>
      <value>Records</value>
    </subject>
    <subject>
      <language>eng</language>
      <type>uncontrolled</type>
      <value>Kind system</value>
    </subject>
    <collection role="ddc" number="004">Datenverarbeitung; Informatik</collection>
    <collection role="collections" number="">Wiss. Publikationen</collection>
    <collection role="old_institute" number="">LS Praktische Informatik / Programmiersprachen und Compilerbau</collection>
    <collection role="institutes" number="1207">FG Programmiersprachen und Compilerbau</collection>
    <thesisPublisher>BTU  Cottbus - Senftenberg</thesisPublisher>
    <thesisGrantor>BTU Cottbus - Senftenberg</thesisGrantor>
    <file>https://opus4.kobv.de/opus4-btu/files/2359/dissertation_jeltsch.pdf</file>
  </doc>
</export-example>
