Für diesen Artikel ist leider kein Bild verfügbar.

Compiling Functional Languages

Antoni Diller (Autor)

Buch | Softcover

322 Seiten

1988
John Wiley & Sons Ltd (Verlag)
978-0-471-92027-4 (ISBN)

Titel ist leider vergriffen;
keine Neuauflage

Artikel merken

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.

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.

Erscheint lt. Verlag	27.7.1988
Zusatzinfo	figures, glossary, bibliography
Verlagsort	Chichester
Sprache	englisch
Maße	160 x 250 mm
Gewicht	560 g
Themenwelt	Informatik ► Theorie / Studium ► Compilerbau
ISBN-10	0-471-92027-4 / 0471920274
ISBN-13	978-0-471-92027-4 / 9780471920274
Zustand	Neuware