Call-By-Push-Value: A Functional/Imperative Synthesis - P.B. Levy - cover
Call-By-Push-Value: A Functional/Imperative Synthesis - P.B. Levy - cover
Dati e Statistiche
Salvato in 0 liste dei desideri
Call-By-Push-Value: A Functional/Imperative Synthesis
Disponibilità in 2 settimane
172,50 €
172,50 €
Disp. in 2 settimane

Descrizione


Call-by-push-value is a programming language paradigm that, surprisingly, breaks down the call-by-value and call-by-name paradigms into simple primitives. This monograph, written for graduate students and researchers, exposes the call-by-push-value structure underlying a remarkable range of semantics, including operational semantics, domains, possible worlds, continuations and games.

Dettagli

  • Semantics Structures in Computation
  • 2012
  • Paperback / softback
352 p.
Testo in English
240 x 160 mm
9789401037525
Informazioni e Contatti sulla Sicurezza dei Prodotti

Le schede prodotto sono aggiornate in conformità al Regolamento UE 988/2023. Laddove ci fossero taluni dati non disponibili per ragioni indipendenti da Feltrinelli, vi informiamo che stiamo compiendo ogni ragionevole sforzo per inserirli. Vi invitiamo a controllare periodicamente il sito www.lafeltrinelli.it per eventuali novità e aggiornamenti.
Per le vendite di prodotti da terze parti, ciascun venditore si assume la piena e diretta responsabilità per la commercializzazione del prodotto e per la sua conformità al Regolamento UE 988/2023, nonché alle normative nazionali ed europee vigenti.

Per informazioni sulla sicurezza dei prodotti, contattare productsafety@feltrinelli.it