Sitnikovski, Boro (Autor)
Introduction to Dependent Types with Idris
Encoding Program Proofs in Types
Beschreibung
Produktdetails
| ISBN/GTIN | 978-1-4842-9259-4 |
|---|---|
| Seitenzahl | 157 S. |
| Kopierschutz | mit Wasserzeichen |
| Dateigröße | 4107 Kbytes |