Introduction to Dependent Types with Idris: Encoding Program Proofs in Types 9781484292594, 9781484292587, 1484292588

Introduction to Dependent Types with Idris: Encoding Program Proofs in Types [1 ed.] 1484292588, 9781484292587, 9781484292594

Dependent types are a concept that allows developers to write proof-carrying code. Idris is a programming language that

241 40 6MB Read more

Gentle Introduction to Dependent Types with Idris 1723139416, 9781723139413

Dependent types are a powerful concept that allows us to write proof-carrying code. Idris is a programming language that

161 20 637KB Read more

Lambda Calculus with Types (Perspectives in Logic) [Illustrated] 0521766141, 9780521766142

This handbook with exercises reveals in formalisms, hitherto mainly used for hardware and software design and verificati

98 6 4MB Read more

Thinking with types: type-level programming in Haskell

382 118 1MB Read more

Types of Unimolecular Reactions

474 60 807KB Read more

Categories, types and structures

497 168 2MB Read more

Types of Psychological Inertia

Further development of Su-Field Analysis. Development of Inventive Thinking. / Collection of Scientific Papers. TRIZ Dev

490 97 16KB Read more

Criminal Types 9781479449439

154 71 225KB Read more

The “Types Approach” to Literature 9780231891745

Explores the types approach and its use in the teaching of literature in schools. Defines different kinds of literature

118 97 9MB Read more

Types of investing

Гид по всем основным типам ценных бумаг с четкой характеристикой по трем основным направлениям: риск, ожидаемая прибыль,

457 47 73KB Read more