Call-By-Push-Value - Levy, P. B.
- Format: Broché Voir le descriptif
Vous en avez un à vendre ?
Vendez-le-vôtre157,79 €
Produit Neuf
Ou 39,45 € /mois
- Livraison à 0,01 €
- Livré entre le 26 mai et le 3 juin
Brand new, In English, Fast shipping from London, UK; Tout neuf, en anglais, expédition rapide depuis Londres, Royaume-Uni;ria9789401037525_dbm
Nos autres offres
-
189,52 €
Produit Neuf
Ou 47,38 € /mois
- Livraison : 25,00 €
- Livré entre le 9 et le 15 juin
Apres acceptation de la commande, le delai moyen d'expedition depuis le Japon est de 48 heures. Le delai moyen de livraison est de 3 a 4 semaines. En cas de circonstances exceptionnelles, les delais peuvent s'etendre jusqu'à 2 mois.
Voir le détail de l'annonce
- Payez directement sur Rakuten (CB, PayPal, 4xCB...)
- Récupérez le produit directement chez le vendeur
- Rakuten vous rembourse en cas de problème
Gratuit et sans engagement
Félicitations !
Nous sommes heureux de vous compter parmi nos membres du Club Rakuten !
TROUVER UN MAGASIN
Retour
Avis sur Call - By - Push - Value Format Broché - Livre Informatique
0 avis sur Call - By - Push - Value Format Broché - Livre Informatique
Les avis publiés font l'objet d'un contrôle automatisé de Rakuten.
-
Erazer Beast 16 X1 Ultimate (Md 62732) Intel Core Ultra 9 275hx Ordinateur Portable 16" Quad Hd+ 32 Go Ddr5-Sdram 2 To Ssd Nvidia Geforce Rtx 5090 Wi-Fi 6e (802.11ax) Windows 11 Home Noir
Neuf dès 120,22 €
-
The Lines Of My Hand
1 avis
Occasion dès 79,00 €
-
An Introduction To Probability Theory And Its Applications Vol. 1, Edition 3
Occasion dès 166,31 €
-
Bruegel. The Complete Works
Neuf dès 95,23 €
-
Saul Steinberg | Harold Rosenberg
Occasion dès 103,99 €
-
20000 Years Of Fashion
Occasion dès 152,99 €
-
Mies Van Der Rohe
Occasion dès 96,00 €
-
Giorgio Morandi Artista D'europa
Occasion dès 150,00 €
-
Lee Miller: An Exhibition Of Photographs, 1929-1964
Occasion dès 125,00 €
-
Hollywood Jewels: Movies, Jewelry, Stars
Occasion dès 131,99 €
-
Calvin Klein
Neuf dès 195,00 €
-
In The American West 40th Anniversary Edition
1 avis
Neuf dès 81,55 €
Occasion dès 192,09 €
-
The Philip K. Dick Collection
Neuf dès 109,00 €
-
Designed By Peter Saville
1 avis
Occasion dès 99,00 €
-
Graffiti Cookbook
Occasion dès 111,99 €
-
Conformal Field Theory
Neuf dès 190,65 €
-
Triumph Of Vulcan: Sculptors' Tools, Porphyry, And The Prince In Ducal Florence
Occasion dès 220,00 €
-
Encyclopedie Musicale Michael Jackson
6 avis
Occasion dès 115,00 €
-
Instability, Skew-T & Hodograph Handbook
Neuf dès 86,43 €
-
Fotografias 1976 - 2003 Photographs 1976 - 2003
Occasion dès 120,00 €
Produits similaires
Présentation Call - By - Push - Value Format Broché
- Livre Informatique
Résumé :
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.
Sommaire:
I Language.- 1. Call-By-Value and Call-By-Name.- 2. Call-By-Push-Value: A Subsuming Paradigm.- 3. Complex Values and Equational Theory.- 4. Recursion and Infinitely Deep CBPV.- II Concrete Semantics.- 5. Simple Models of CBPV.- 6. Possible World Model for Cell Generation.- 7. Jump-With-Argument.- 8. Pointer Games.- III Categorical Semantics.- 9. Semantics in Element Style.- 10. All Models are Categorical Models.- 11. Representing Objects.- IV Conclusions.- 12. Conclusions, Comparisons and Further Work.- Appendices.- Technical Treatment of CBV and CBN.- A.1 The Jumbo ?-Calculus.- A.1.1. Introduction.- A.1.2. Tuple Types.- A.1.3. Function Types.- A.2 Languages and Tranlations.- A.3 Call-By-Value.- A.3.1. Coarse-Grain Call-By-Value.- A.3.2. Fine-Grain Call-By-Value.- A.3.3. From CG-CBV To FG-CBV.- A.4 Call-By-Name.- A.5 The Lazy Paradigm.- A.6 Subsuming FG-CBV and CBN.- A.6.1 From FG-CBV to CBPV.- A.6.2 From CBPV Back to FG-CBV.- A.6.3 From CBN to CBPV.- A.6.4 From CBPV back To CBN.- Models In The Style Of Power-Robinson.- B.1 Intoduction.- B.2 Actions of Monoidal Categories.- B.3 Freyd Categories.- B.4 Judgement Model.- B.5 Enrichment.- B.6 Connectives.- B.7 Modelling CBPV.- B.8 The Full Reflection.- B.9 Theories.- B.10 Conservativity.- References.
Détails de conformité du produit
Personne responsable dans l'UE