Mediterranean College

Κατάλογος Βιβλιοθηκών Mediterranean College

Image from OpenLibrary

Constructive Foundations for Functional Languages

Contributor(s): Material type: TextPublication details: Mcgraw Hill Book Company, 1991Description: 276ISBN:
  • 77074114
Summary: An introduction to the axiomatic foundations of functional programming languages. Preface, The Intuitionistic Predicate Calculus, The Lambda Calculus, Partiality and Termination, A Simple Theory of Types, Constructive Type Theories, Structural Inductive Types, Polymorphism and Abstract Data Types, Realizability, Negative Realizability, Program Syntesis, Afterthoughts, References, Index.
Tags from this library: No tags from this library for this title. Log in to add tags.
Star ratings
    Average rating: 0.0 (0 votes)

An introduction to the axiomatic foundations of functional programming languages. Preface, The Intuitionistic Predicate Calculus, The Lambda Calculus, Partiality and Termination, A Simple Theory of Types, Constructive Type Theories, Structural Inductive Types, Polymorphism and Abstract Data Types, Realizability, Negative Realizability, Program Syntesis, Afterthoughts, References, Index.

There are no comments on this title.

to post a comment.
Previous
Back to results
Next
Close

MC Athens Campus Library
Πατησίων 94 & Κοδριγκτώνος 13, 104 34
Πελλήνης 8 & Πατησίων 107, 112 51
Τ: +30 210 8899600

MC Thessaloniki Campus Library
Ίωνος Δραγούμη 21, 54625 | Ίωνος Δραγούμη 15, 54625
Τ: +30 2310 287779 – Τ: +30 2314 440300