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 Short Courses: |
---|
Fr. 26.04.2024 aktuell Mobile Film Making Workshop (for students of BayCEER) |
Ökologisch-Botanischer Garten: |
Fr. 26.04.2024 aktuell Aktion | Kräuterreich & regional: Backkunst im ÖBG (zus. mit HWK) |
Fr. 26.04.2024 aktuell Führung | Erdbeer-Minze und Zimmerknoblauch: Gewürzkräuter |
So. 28.04.2024 Führung | Den Sängern auf der Spur: Vogelstimmen im ÖBG (zus. mit LBV) |
So. 05.05.2024 Führung | Faszination Englische Gärten: Gestaltung und Pflanzen |