|
|
Antoni Diller
ISBN: 9780471920274
Format: Paperback
Publisher:John Wiley and Sons Ltd
Write a review
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.
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.
| ISBN | 0471920274 | | Pages | 322 | | ISBN13 | 9780471920274
(What's this?) | | Weight (grammes) | 560 | | Publisher | John Wiley and Sons Ltd | | Published in | Chichester | | Imprint | John Wiley & Sons Ltd | | Height (mm) | 250 | | Format | Paperback | | Width (mm) | 160 | | Publication date | 27 Jul 1988 | | Spine width (mm) | 20 | | DEWEY | 005.13 | | Academic level | Professional / Scholarly | | DEWEY edition | DC19 | |
|
| |
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.
|
|
|
|
|
Enlarge
