紀錄類型: |
書目-電子資源
: Monograph/item
|
正題名/作者: |
Introduction to dependent types with Idrisby Boro Sitnikovski. |
其他題名: |
encoding program proofs in types / |
作者: |
Sitnikovski, Boro. |
出版者: |
Berkeley, CA :Apress :2023. |
面頁冊數: |
xviii, 157 p. :ill., digital ;24 cm. |
Contained By: |
Springer Nature eBook |
標題: |
Idris (Computer program language) |
電子資源: |
https://doi.org/10.1007/978-1-4842-9259-4 |
ISBN: |
9781484292594$q(electronic bk.) |