Grundlagen funktionaler Programmierung / / Martin Erwig.
Saved in:
| Superior document: | Title is part of eBook package: De Gruyter DGBA Physical Sciences 1990 - 1999 |
|---|---|
| VerfasserIn: | |
| Place / Publishing House: | Berlin ;, Boston : : Oldenbourg Wissenschaftsverlag, , [2018] ©1999 |
| Year of Publication: | 2018 |
| Edition: | Reprint 2018 |
| Language: | German |
| Online Access: | |
| Physical Description: | 1 online resource (192 p.) |
| Tags: |
Add Tag
No Tags, Be the first to tag this record!
|
Table of Contents:
- Frontmatter
- 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