APA Citation

Sitnikovski, B. (2023). Introduction to dependent types with Idris: Encoding program proofs in types. New York, NY: Apress.

Chicago Style Citation

Sitnikovski, Boro. Introduction to Dependent Types With Idris: Encoding Program Proofs in Types. New York, NY: Apress, 2023.

MLA Citation

Sitnikovski, Boro. Introduction to Dependent Types With Idris: Encoding Program Proofs in Types. New York, NY: Apress, 2023.

Warning: These citations may not always be 100% accurate.