Implementation of Functional Languages
Editat de Thomas Arts, Markus Mohnenen Limba Engleză Paperback – 10 apr 2002
Preț: 316.28 lei
Preț vechi: 395.35 lei
-20% Nou
Puncte Express: 474
Preț estimativ în valută:
55.96€ • 65.72$ • 49.12£
55.96€ • 65.72$ • 49.12£
Carte tipărită la comandă
Livrare economică 28 ianuarie-11 februarie 26
Preluare comenzi: 021 569.72.76
Specificații
ISBN-13: 9783540435372
ISBN-10: 3540435379
Pagini: 204
Ilustrații: VIII, 196 p.
Dimensiuni: 155 x 235 x 12 mm
Greutate: 0.32 kg
Ediția:2002
Editura: Springer
Locul publicării:Berlin, Heidelberg, Germany
ISBN-10: 3540435379
Pagini: 204
Ilustrații: VIII, 196 p.
Dimensiuni: 155 x 235 x 12 mm
Greutate: 0.32 kg
Ediția:2002
Editura: Springer
Locul publicării:Berlin, Heidelberg, Germany
V-ar putea interesa
-
The C++ Programming LanguageBjarne Stroustrup-20%Preț: 515.83 lei644.79 lei -
Python Programming for Biology: Bioinformatics and BeyondTim J. Stevens-20%Preț: 455.63 lei569.54 lei -
-20%Preț: 162.52 lei203.14 lei -
Pro ASP.NET Web API Security: Securing ASP.NET Web APIBadrinarayanan Lakshmiraghavan-20%Preț: 521.46 lei651.81 lei -
-20%Preț: 231.14 lei288.92 lei -
Guide to C# and Object OrientationJohn Hunt-20%Preț: 335.61 lei419.51 lei -
-20%Preț: 144.90 lei181.12 lei -
A Knowledge-Based Approach to Program UnderstandingSalwa K. Abd-El-Hafiz-20%Preț: 613.08 lei766.34 lei -
Case-Based LearningJanet L. Kolodner-20%Preț: 1211.14 lei1513.93 lei -
Functional Programming in ScalaRunar Bjarnason-20%Preț: 285.50 lei356.88 lei -
Python Programming for BeginnersJoseph Joyner-20%Preț: 50.93 lei63.66 lei -
Murach's C# 2012Joel Murach-29%Preț: 342.50 lei479.44 lei -
Programming Languages and SystemsChung-Chien Shan-20%Preț: 325.88 lei407.36 lei -
Implementation of Functional LanguagesRicardo Pena-20%Preț: 319.36 lei399.20 lei -
-20%Preț: 318.97 lei398.71 lei -
-20%Preț: 349.54 lei436.93 lei -
Programming LanguagesAndre Rauber Du Bois-20%Preț: 412.92 lei516.15 lei -
-20%Preț: 645.84 lei807.30 lei -
-20%Preț: 628.63 lei785.78 lei
Public țintă
ResearchCuprins
Sized Types for Typing Eden Skeletons.- A Compilation Scheme for a Hierarchy of Array Types.- Optimizations on Array Skeletons in a Shared Memory Environment.- Theorem Proving for Functional Programmers.- Proving Correctness of Programs with IO —A Paradigm Comparison.- Proving the Correctness of the STG Machine.- Dynamic Cheap Eagerness.- A Polynomial-Cost Non-determinism Analysis.- Comparative Cross-Platform Performance Results from a Parallelizing SML Compiler.- Runtime Behavior of Conversion Interpretation of Subtyping.- A Generic Programming Extension for Clean.
Caracteristici
Includes supplementary material: sn.pub/extras