Kaikki kirjat 25 % alennuksella koodilla: BOOKS

Olibro

Oma ostoskori

Latautuu...

Asiakastunnus

Uusi asiakas

Tilin luominen tuo monia etuja:

  • Katso tilauksen ja toimituksen tila
  • Seuraa tilaushistoriaa
  • Tarkista nopeammin
Luo tili
  • check Yli 10 miljoonaa kirjaa
  • check Uutuuksia joka päivä
  • check Yli 1 miljoona asiakasta luottaa meihin
  • check Hyvät hinnat ja alennukset
  • check Toimitus koko Eurooppaan

Two-Level Functional Languages - Flemming Nielson,Hanne Riis Nielson

Flemming Nielson, Hanne Riis Nielson

(0)
Kirjoita arvostelu
englanti
2014-11-11
228,67 € 304,90 €

-25% koodilla BOOKS

Pehmeäkantinen 136,93 € Kovakantinen 304,90 €
Toimittajalla varastossa

Toimitus 17-23 arkipäivässä

30 päivän palautusoikeus

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 calcul ... Täydellinen kuvaus

Saatat myös pitää

-25%
TOP
Gödel, Escher, Bach: An Eternal Golden Braid

Gödel, Escher, Bach: An Eternal Golden Braid

Douglas R. Hofstadter

24,06 € 32,08 €

-25% koodilla BOOKS

Toimittajalla varastossa

-25%
TOP
If Anyone Builds It, Everyone Dies: Why Superhuman AI Would Kill Us All

If Anyone Builds It, Everyone Dies: Why Superhuman AI Would Kill Us All

Eliezer Yudkowsky, Nate Soares

16,85 € 22,46 €

-25% koodilla BOOKS

Toimittajalla varastossa

-25%
TOP
AI Engineering: Building Applications with Foundation Models

AI Engineering: Building Applications with Foundation Models

Chip Huyen

83,36 € 111,14 €

-25% koodilla BOOKS

Toimittajalla varastossa

-25%
TOP
Empire of AI: Dreams and Nightmares in Sam Altman's OpenAI

Empire of AI: Dreams and Nightmares in Sam Altman's OpenAI

Karen Hao

18,63 € 24,84 €

-25% koodilla BOOKS

Toimittajalla varastossa

-25%
TOP
The Pragmatic Programmer: journey to mastery, 20th Anniversary Edition, 2/e: your journey to mastery, 20th Anniversary Edition

The Pragmatic Programmer: journey to mastery, 20th Anniversary Edition, 2/e: your journey to mastery, 20th Anniversary Edition

Andrew Hunt, David Thomas

50,72 € 67,63 €

-25% koodilla BOOKS

Toimittajalla varastossa

-25%
TOP
NEW
The Rust Programming Language

The Rust Programming Language

Steve Klabnik, Carol Nichols, Chris Krycho

49,65 € 66,20 €

-25% koodilla BOOKS

Toimittajalla varastossa

-25%
TOP
How Linux Works: What Every Superuser Should Know

How Linux Works: What Every Superuser Should Know

Brian Ward

41,68 € 55,57 €

-25% koodilla BOOKS

Toimittajalla varastossa

-25%
TOP
How To Think About AI: A Guide For The Perplexed

How To Think About AI: A Guide For The Perplexed

Richard Susskind

14,02 € 18,70 €

-25% koodilla BOOKS

Toimittajalla varastossa

-25%
TOP
NEW
Slanted 47 Digital Tools: Slanted Magazine

Slanted 47 Digital Tools: Slanted Magazine

25,91 € 34,54 €

-25% koodilla BOOKS

Toimittajalla varastossa

-25%
TOP
The Art of Game Design: A Book of Lenses

The Art of Game Design: A Book of Lenses

Jesse Schell

89,61 € 119,48 €

-25% koodilla BOOKS

Toimittajalla varastossa

-25%
TOP
Artificial Intelligence: A Modern Approach, Global Edition

Artificial Intelligence: A Modern Approach, Global Edition

Peter Norvig, Stuart Russell

104,66 € 139,55 €

-25% koodilla BOOKS

Toimittajalla varastossa

-25%
TOP
Python Crash Course: A Hands-On, Project-Based Introduction to Programming

Python Crash Course: A Hands-On, Project-Based Introduction to Programming

Eric Matthes

41,68 € 55,57 €

-25% koodilla BOOKS

Toimittajalla varastossa

-25%
TOP
CompTIA Security+ Certification Kit: Exam SY0-701

CompTIA Security+ Certification Kit: Exam SY0-701

David Seidl, Mike Chapple

79,38 € 105,84 €

-25% koodilla BOOKS

Toimittajalla varastossa

-25%
TOP
Automate the Boring Stuff with Python

Automate the Boring Stuff with Python

Al Sweigart

49,65 € 66,20 €

-25% koodilla BOOKS

Toimittajalla varastossa

-25%
TOP
Fundamentals of Software Architecture: A Modern Engineering Approach

Fundamentals of Software Architecture: A Modern Engineering Approach

Mark Richards, Neal Ford

83,36 € 111,14 €

-25% koodilla BOOKS

Toimittajalla varastossa

-25%
TOP
Speak Data: Artists, Scientists, Thinkers, and Dreamers on How We Live Our Lives in Numbers

Speak Data: Artists, Scientists, Thinkers, and Dreamers on How We Live Our Lives in Numbers

Giorgia Lupi, Phillip Cox

32,57 € 43,43 €

-25% koodilla BOOKS

Toimittajalla varastossa

-25%
TOP
Hacking: The Art of Exploitation

Hacking: The Art of Exploitation

Jon Erickson

41,68 € 55,57 €

-25% koodilla BOOKS

Toimittajalla varastossa

-25%
TOP
Linux Basics for Hackers, 2nd Edition: Getting Started with Networking, Scripting, and Security in Kali

Linux Basics for Hackers, 2nd Edition: Getting Started with Networking, Scripting, and Security in Kali

Occupytheweb

33,25 € 44,33 €

-25% koodilla BOOKS

Toimittajalla varastossa

-25%
TOP
HBR Guide to Generative AI for Managers

HBR Guide to Generative AI for Managers

Elisa Farri, Gabriele Rosani

35,66 € 47,55 €

-25% koodilla BOOKS

Toimittajalla varastossa

-25%
TOP
Hackers. 25th Anniversary Edition: Heroes of the Computer Revolution

Hackers. 25th Anniversary Edition: Heroes of the Computer Revolution

Steven Levy

31,46 € 41,95 €

-25% koodilla BOOKS

Toimittajalla varastossa

Kuvaus

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.

Lisätietoja

Kirjoittaja Flemming Nielson, Hanne Riis Nielson
Julkaisija Cambridge University Press
Julkaisuvuosi 2014
Kannen tyyppi Kovakantinen
EAN 9780521403849
Kirjoita oma arvostelusi
Arvostelet: Two-Level Functional Languages
Arvostelusi:

Goodreads-arvostelut

228,67 € 304,90 €