Logo

Implementing Functional Languages: a tutorial

Small book cover: Implementing Functional Languages: a tutorial

Implementing Functional Languages: a tutorial
by

Publisher: Prentice Hall
ISBN/ASIN: B001UHUR8W
Number of pages: 296

Description:
This book gives a practical approach to understanding implementations of non-strict functional languages using lazy graph reduction. The book is intended to be a source of practical labwork material, to help make functional-language implementations 'come alive', by helping the reader to develop, modify and experiment with some non-trivial compilers.

Home page url

Download or read it online for free here:
Download link
(multiple formats)

Similar books

Book cover: Lecture Notes on the Lambda CalculusLecture Notes on the Lambda Calculus
by - Dalhousie University
Topics covered in these notes include the untyped lambda calculus, the Church-Rosser theorem, combinatory algebras, the simply-typed lambda calculus, the Curry-Howard isomorphism, weak and strong normalization, type inference, etc.
(7569 views)
Book cover: Formal Syntax and Semantics of Programming LanguagesFormal Syntax and Semantics of Programming Languages
by - Addison Wesley Longman
The book presents the typically difficult subject of formal methods in an informal, easy-to-follow manner. Readers with a basic grounding in discreet mathematics will be able to understand the practical applications of these difficult concepts.
(11371 views)
Book cover: Exploring Programming Language Architecture in PerlExploring Programming Language Architecture in Perl
by
This book presents an informal and friendly introduction to some of the core ideas in modern computer science, using the programming language Perl as its vehicle. The book takes the form of a series of working interpreters for the language PScheme.
(11213 views)
Book cover: Principles of Programming LanguagesPrinciples of Programming Languages
by - Ben-Gurion University of the Negev
This course is about building computational processes. We need computational processes for computing functions. The means for performing computational processes are programs. The emphasis is on programming languages and their properties.
(17681 views)