Hallo! Tracked shipping to Netherlands with Delivery Duty Paid for just €7 

Ship to
Netherlands
0

My Account

  • argentina
  • chile
  • colombia
  • españa
  • méxico
  • perú
  • estados unidos
  • internacional

menu

Select your country

Americas

Europe

Rest of the world

portada Two-Level Functional Languages Hardback (Cambridge Tracts in Theoretical Computer Science)
Type
Physical Book
Publisher
Author
Year
1992
Language
English
Pages
311
Format
Hardcover
ISBN
0521403847
ISBN13
9780521403849
Edition No.
1
Categories

Two-Level Functional Languages Hardback (Cambridge Tracts in Theoretical Computer Science)

Nielson (Author) · Cambridge University Press · Hardcover

Two-Level Functional Languages Hardback (Cambridge Tracts in Theoretical Computer Science) - Nielson

New Book Imported to Netherlands
Delivery: 13 Aug - 17 Aug Shipping: 5 to 6 business days.
€ 189,63
Import costs and 9% BTW included in the price ✅
€ 189,63

Choose the list to add your product or create one New List

Go to My Wishlists
Calculate shipping cost

Synopsis "Two-Level Functional Languages Hardback (Cambridge Tracts in Theoretical Computer Science) "

The authors describe here a framework in which the type notation of functional languages is extended to include a notation for binding times (that is run-time and compile-time) that distinguishes between them. Consequently, the ability to specify code and verify program correctness can be improved. Two developments are needed, the first of which introduces the binding time distinction into the lambda calculus in a manner analogous with the introduction of types into the untyped lambda calculus. Methods are also presented for introducing combinators for run-time. The second concerns the interpretation of the resulting language, which is known as the mixed lambda-calculus and combinatory logic. The notion of "parametrized semantics" is used to describe code generation and abstract interpretation. The code generation is for a simple abstract machine designed for the purpose, it is close to the categorical abstract machine. The abstract interpretation focuses on a strictness analysis that generalizes Wadler's analysis for lists. It is also shown how the results of abstract interpretation may be used to improve the code generation.

Customers reviews

More customer reviews
  • 0% (0)
  • 0% (0)
  • 0% (0)
  • 0% (0)
  • 0% (0)

Frequently Asked Questions about the Book

Is the book original?

All books in our catalog are Original.

In what language is the book written?

The book is written in English.

What is the format of this book?

The binding of this edition is Hardcover.

Questions and Answers about the Book

Do you have a question about the book? Login to be able to add your own question.

Opinions about Bookdelivery

More customer reviews