Skip to main content
SpringerLink
Log in
Book cover

Grundlagen der funktionalen Programmierung

  • Textbook
  • © 1994

Overview

Authors:
  1. Peter Thiemann

    1. Universität Tübingen, Deutschland

    View author publications

    You can also search for this author in PubMed   Google Scholar

Part of the book series: XLeitfäden der Informatik (XLINF)

This is a preview of subscription content, log in via an institution to check access.

Access this book

Log in via an institution
eBook USD 49.95
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book USD 44.99
Price excludes VAT (USA)
  • Compact, lightweight edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info

Tax calculation will be finalised at checkout

Other ways to access

Licence this eBook for your library

Institutional subscriptions

Table of contents (15 chapters)

  1. Front Matter

    Pages 1-10
    Download chapter PDF

  2. Einführung

    • Peter Thiemann
    Pages 11-14

  3. Grundlegende Sprachstrukturen

    • Peter Thiemann
    Pages 15-60

  4. Funktionen höheren Typs

    • Peter Thiemann
    Pages 61-70

  5. Fallstudien

    • Peter Thiemann
    Pages 71-78

  6. Programmieren mit verzögerter Auswertung

    • Peter Thiemann
    Pages 79-92

  7. Eigenschaften von Programmen

    • Peter Thiemann
    Pages 93-114

  8. Fortgeschrittene Programmierkonzepte

    • Peter Thiemann
    Pages 115-150

  9. Überblick und Anwendungen

    • Peter Thiemann
    Pages 151-160

  10. Einführung in die denotationelle Semantik

    • Peter Thiemann
    Pages 161-166

  11. Bereichstheorie

    • Peter Thiemann
    Pages 167-180

  12. Universelle Algebra

    • Peter Thiemann
    Pages 181-198

  13. Semantik und Implementierung funktionaler Sprachen mit Funktionen erster Ordnung

    • Peter Thiemann
    Pages 199-216

  14. Semantik und Implementierung funktionaler Sprachen mit Funktionen höherer Ordnung

    • Peter Thiemann
    Pages 217-240

  15. Abstrakte Interpretation

    • Peter Thiemann
    Pages 241-258

  16. Der λ-Kalkül als funktionale Programmiersprache

    • Peter Thiemann
    Pages 259-302

  17. Back Matter

    Pages 303-348
    Download chapter PDF
Back to top

Keywords

Authors and Affiliations

  • Universität Tübingen, Deutschland

    Peter Thiemann

Bibliographic Information

  • Book Title: Grundlagen der funktionalen Programmierung

  • Authors: Peter Thiemann

  • Series Title: XLeitfäden der Informatik

  • DOI: https://doi.org/10.1007/978-3-322-89207-2

  • Publisher: Vieweg+Teubner Verlag Wiesbaden

  • eBook Packages: Springer Book Archive

  • Copyright Information: B. G. Teubner Stuttgart 1994

  • Softcover ISBN: 978-3-519-02137-7Published: 01 January 1994

  • eBook ISBN: 978-3-322-89207-2Published: 13 March 2013

  • Series ISSN: 1615-5432

  • Edition Number: 1

  • Number of Pages: 348

  • Topics: Engineering, general

Publish with us

Policies and ethics

Back to top

Search

Navigation