Druckansicht der Internetadresse:

Faculty for Biology, Chemistry, and Earth Sciences

Department of Ecological Modelling - Prof. Dr. Michael Hauhs

print page
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.
FacebookTwitterYoutube-KanalBlogKontakt aufnehmen
This site makes use of cookies More information