Introducing blockchain with Lisp : implement and extend blockchains with the Racket language / / Boro Sitnikovski |
Autore | Sitnikovski Boro |
Pubbl/distr/stampa | [Place of publication not identified] : , : Apress, , [2021] |
Descrizione fisica | 1 online resource (151 pages) |
Disciplina | 005.74 |
Soggetto topico |
Blockchains (Databases)
Racket (Computer program language) |
ISBN | 1-4842-6969-1 |
Formato | Materiale a stampa |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Record Nr. | UNINA-9910484722403321 |
Sitnikovski Boro | ||
[Place of publication not identified] : , : Apress, , [2021] | ||
Materiale a stampa | ||
Lo trovi qui: Univ. Federico II | ||
|
Introduction to Dependent Types with Idris [[electronic resource] ] : Encoding Program Proofs in Types / / by Boro Sitnikovski |
Autore | Sitnikovski Boro |
Edizione | [1st ed. 2023.] |
Pubbl/distr/stampa | Berkeley, CA : , : Apress : , : Imprint : Apress, , 2023 |
Descrizione fisica | 1 online resource (XVIII, 157 p. 139 illus.) |
Disciplina | 005.13 |
Soggetto topico |
Programming languages (Electronic computers)
Software engineering Programming Language Software Engineering |
ISBN | 1-4842-9259-6 |
Formato | Materiale a stampa |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Nota di contenuto | Chapter 1: Formal Systems -- Chapter 2: Classical Mathematical Logic -- Chapter 3: Type Theory -- Chapter 4: Programming in Idris -- Chapter 5: Proving in Idris. |
Record Nr. | UNINA-9910682569803321 |
Sitnikovski Boro | ||
Berkeley, CA : , : Apress : , : Imprint : Apress, , 2023 | ||
Materiale a stampa | ||
Lo trovi qui: Univ. Federico II | ||
|