Categories

Want to rent books instead?
Download Urdu audiobooks
   
Advanced
Search

Type theory and functional programming

type theory and functional programming

  • By:Simon Thompson
  • ISBN:UOM:39015021884732
  • Publication Type: Addison Wesley Publishing Company
  • Category: Textbooks (Marticulation/Inter)
  • Condition:Brand New
  • No Of Pages:378
  • Specification:ONLY E-BOOK AVAILABLE
  • Release Date:9th Jun 2023
  • Price:Rs 1,875.00
  • Price
    Specifications
     

  • Rs1,875.00

    ONLY E-BOOK AVAILABLE

Description

This book explores the role of Martin-Lof s constructive type theory in computer programming. The main focus of the book is how the theory can be successfully applied in practice.

Your Comment