| 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. |
