Type Driven Development

Manning Publications

Type-Driven Development with Idris              

Packt Publishing

Learn Type-Driven Development: Benefit from type systems to build reliable and safe applications using ReasonML 3 (English Edition)

HiTeX Press

Idris Unleashed: Type-Driven Development and Theorem Proving in Functional Programming (English Edition)

Elsevier

Ecological Model Types: Theories and Applications (Developments in Environmental Modelling)

ReadHowYouWant

The Idea-Driven Organization: Unlocking the Power in Bottom-Up Ideas [Large Print 16 Pt Edition]

Clerisy Press

Driving Eureka!: Problem-Solving with Data-Driven Methods & the Innovation Engineering System

Random House Books for Young Readers

The Attributes: 25 Hidden Drivers of Optimal Performance

Manning Publications

F# in Action                                    

CRC Press

Questions in Dataviz: A Design-driven Process for Data Visualisation (Ak Peters Visualization)

11 Essential Types of Meetings That Drive Customer Teams (English Edition)