22,99 €
inkl. MwSt.
Versandfertig in 6-10 Tagen
11 °P sammeln
Andere Kunden interessierten sich auch für
![Learn Type-Driven Development]( "Learn Type-Driven Development")
Learn Type-Driven Development43,99 €![Creating High-Performance, Statically Type-Safe Network Applications]( "Creating High-Performance, Statically Type-Safe Network Applications")
Creating High-Performance, Statically Type-Safe Network Applications44,99 €![Can static type systems speed up programming? An experimental evaluation of static and dynamic type systems]( "Can static type systems speed up programming? An experimental evaluation of static and dynamic type systems")
Can static type systems speed up programming? An experimental evaluation of static and dynamic type systems29,99 €![Type systems with first class polymorphisms using Attribute Grammars]( "Type systems with first class polymorphisms using Attribute Grammars")
Type systems with first class polymorphisms using Attribute Grammars32,99 €![Type and Effect Systems: Behaviours for Concurrency]( "Type and Effect Systems: Behaviours for Concurrency")
Type and Effect Systems: Behaviours for Concurrency101,99 €![Basic Simple Type Theory]( "Basic Simple Type Theory")
Basic Simple Type Theory51,99 €![A Machine-Checked, Type-Safe Model of Java Concurrency : Language, Virtual Machine, Memory Model, and Verified Compiler]( "A Machine-Checked, Type-Safe Model of Java Concurrency : Language, Virtual Machine, Memory Model, and Verified Compiler")
A Machine-Checked, Type-Safe Model of Java Concurrency : Language, Virtual Machine, Memory Model, and Verified Compiler41,00 €
Please note that the content of this book primarily consists of articles available from Wikipedia or other free sources online. In computer science and logic, a dependent type is a type that depends on a value. Dependent types play a central role in intuitionistic type theory and in the design of experimental functional programming languages like Dependent ML, Agda and Epigram.