Titlebar

Export bibliographic data
Literature by the same author
plus on the publication server
plus at Google Scholar

 

tSig: Towards Semantics for a Functional Synchronous Signal Language

Title data

Trancón y Widemann, Baltasar ; Lepper, Markus:
tSig: Towards Semantics for a Functional Synchronous Signal Language.
In: Tagungsband 16. Kolloquium Programmiersprachen und Grundlagen der Programmierung (KPS'11) : 26. bis 28. September 2011, Schloss Raesfeld, Münsterland. - Münster , 2011 . - pp. 163-168 . - (Arbeitsberichte / Universität Münster, Institut für Wirtschaftsinformatik ; 132 )

Official URL: Volltext

Abstract in another language

Functional programming arguably has some of the most powerful mechanisms forabstraction and reuse of program fragments, namely strong and user-definabledata types in terms of categorical constructions such as product and coproductfor statical abstraction, and polymorphic higher-order functions for operationalabstraction. A well-typed term in a functional language is an extremely concise and mathematically handy notation for data flow compared to, say, a circuit diagram, no matter whether defined visually or algebraically.

Further data

Item Type: Article in a book
Refereed: No
Additional notes: BAYCEER113961
Institutions of the University: Faculties > Faculty of Biology, Chemistry and Earth Sciences > Department of Earth Sciences > Chair Ecological Modelling
Research Institutions > Research Centres > Bayreuth Center of Ecology and Environmental Research- BayCEER
Faculties
Faculties > Faculty of Biology, Chemistry and Earth Sciences
Faculties > Faculty of Biology, Chemistry and Earth Sciences > Department of Earth Sciences
Research Institutions
Research Institutions > Research Centres
Result of work at the UBT: Yes
DDC Subjects: 500 Science
Date Deposited: 06 Jul 2015 10:25
Last Modified: 02 Jun 2016 11:49
URI: https://eref.uni-bayreuth.de/id/eprint/15861