Compiling Functional Languages
Published on 27. July 1988
Book
Paperback/Softback
322 pages
978-0-471-92027-4 (ISBN)
Description
An attempt to describe a number of different ways of implementing functional programming languages which bear a strong family resemblance to one another and which all have their origins in the work of Turner on combinator-based graph-reducers. The book is aimed at those involved in the principles of functional languages or in language translation. But it is also aimed at logicians, both mathematical and philosophical, because of the solid logical foundations of functional languages and their compilers. The author uses Lispkit Lisp because its compilation and the execution of the resulting object code are easy to understand.
More details
Language
English
Place of publication
Chichester
United Kingdom
Publishing group
John Wiley and Sons Ltd
Target group
Professional and scholarly
Illustrations
figures, glossary, bibliography
Dimensions
Height: 250 mm
Width: 160 mm
Weight
560 gr
ISBN-13
978-0-471-92027-4 (9780471920274)
Copyright in bibliographic data is held by Nielsen Book Services Limited or its licensors: all rights reserved.
Schweitzer Classification
Content
Lispkit Lisp; combinatory logic; translating Lispkit into combinators; graph-reduction; the Lambda calculus; bracket abstraction algorithms; supercombinators; pattern-matching; categorical combinators; reduction and transformation; strictness analysis; type systems; simple Lispkit system.