Grundlagen Funktionaler Programmierung (
โ Martin Erwig
๐ Library
๐
1999
๐ Walter de Gruyter
๐ German
โฆ LIBER โฆ
๐
Grundlagen funktionaler Programmierung
โ Scribed by Martin Erwig
- Publisher
- Oldenbourg Wissenschaftsverlag
- Year
- 1999
- Tongue
- German
- Leaves
- 192
- Category
- Library
โฌ Acquire This Volume
No coin nor oath required. For personal study only.
โฆ Table of Contents
Vorwort
Inhaltsverzeichnis
1 Elemente funktionaler Programmierung
2 Verzรถgerte Auswertung
3 Verifikation und Programm-Transformation
4 Der Lambda-Kalkรผl
5 Typisierung und Typinferenz
6 Implementierungstechniken
Lรถsungen zu den Aufgaben
Literatur
Index
๐ SIMILAR VOLUMES
Grundlagen der funktionalen Programmieru
โ Dr. rer. nat. Peter Thiemann (auth.)
๐ Library
๐
1994
๐ Vieweg+Teubner Verlag
๐ German
Grundlagen der funktionalen Programmieru
โ Dr. rer. nat. Peter Thiemann (auth.)
๐ Library
๐
1994
๐ Vieweg+Teubner Verlag
๐ German
Funktionale und Applikative Programmieru
โ Prof. Dr. Wolfram-Manfred Lippe (auth.)
๐ Library
๐
2009
๐ Springer-Verlag Berlin Heidelberg
๐ German
<p><p>Seit vielen Jahren nimmt die funktionale und applikative Programmierung einen wesentlichen Platz unter den verschiedenen Programmierparadigmen ein. Das Hauptanliegen dieses Buches ist eine leicht verstรคndliche Einfรผhrung in die vielschichtige Thematik. Sie reicht von den Theoretischen Grundlag
Logische und Funktionale Programmierung:
โ Ulrich Furbach (auth.)
๐ Library
๐
1991
๐ Vieweg+Teubner Verlag
๐ German
Funktionale und Applikative Programmieru
โ Prof. Dr. Wolfram-Manfred Lippe (auth.)
๐ Library
๐
2009
๐ Springer-Verlag Berlin Heidelberg
๐ German
<p><p>Seit vielen Jahren nimmt die funktionale und applikative Programmierung einen wesentlichen Platz unter den verschiedenen Programmierparadigmen ein. Das Hauptanliegen dieses Buches ist eine leicht verstรคndliche Einfรผhrung in die vielschichtige Thematik. Sie reicht von den Theoretischen Grundlag