Trancón y Widemann, B; Lepper, M: tSig: Towards Semantics for a Functional Synchronous Signal Language, Arbeitsberichte des Instituts für Wirtschaftsinformatik, Tagungsband 16. Kolloquium Programmiersprachen und Grundlagen der Programmierung (KPS'11) Arbeitsbericht Nr. 132, 132, 163-168 (2011) | |
Abstract: Functional programming arguably has some of the most powerful mechanisms for abstraction and reuse of program fragments, namely strong and user-definable data types in terms of categorical constructions such as product and coproduct for statical abstraction, and polymorphic higher-order functions for operational abstraction. 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. |
BayCEER Colloquium: |
---|
Th. 2024-04-18 The Canvas of Change: Creative Marketing for Behaviour Change, Sustainability and Social Good |
Th. 2024-04-18 Survival, 'dormancy', and resuscitation of microorganisms in water-limited environments: insights from coastal salt flats and desert soil crusts |
BayCEER Short Courses: |
Tu. 2024-04-16 Geographical information system and R environment for conservation biology |
Ecological-Botanical Garden: |
Su. 2024-04-07 Führung | Talking Tree: Was Bäume über´s Klima erzählen |
Fr. 2024-04-19 Führung | Gesteine im Ökologisch-Botanischen Garten |