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!
|
| Other title: | 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 |
|---|---|
| Format: | Mode of access: Internet via World Wide Web. |
| ISBN: | 9783486800401 9783110637236 |
| DOI: | 10.1515/9783486800401 |
| Access: | restricted access |
| Hierarchical level: | Monograph |
| Statement of Responsibility: | Martin Erwig. |