Introduction to Dependent Types with Idris

Introduction to Dependent Types with Idris: Encoding Program Proofs in Types 著者: Boro Sitnikovski 出版 Apress. 以下のデジタルおよびeTextbook ISBNs: Introduction to Dependent Types with Idris : 9781484292594, 1484292596 および 印刷版のISBNは 9781484292587, 1484292588. VitalSource でデジタル化することで、印刷に比べて最大 80% 節約できます。

Introduction to Dependent Types with Idris: Encoding Program Proofs in Types 著者: Boro Sitnikovski 出版 Apress. 以下のデジタルおよびeTextbook ISBNs: Introduction to Dependent Types with Idris : 9781484292594, 1484292596 および 印刷版のISBNは 9781484292587, 1484292588. VitalSource でデジタル化することで、印刷に比べて最大 80% 節約できます。