Type Driven Development

Manning

Type-Driven Development with Idris (English Edition)

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) (English Edition)

CRC Press

Agile Model-Based Development Using UML-RSDS (English Edition)

Free-Game for Generators: Your Essential Guide to Embracing and Thriving in Your Unique Energy Type and Design (English Edition)

A Smart Author Guide To A.I : Leveraging A.I to Write, Design and Market your book (English Edition)

AI-Driven Architectural Design Explorations: Boutique Hospitality Designs (English Edition)

Surabhi Kumari

AI-driven Architectural Exploration: Inspiring Resort Designs (English Edition)

AI-Driven Architectural Design Explorations: Eco-conscious Hotel Designs (English Edition)