Introduction to Dependent Types with Idris Dublin Core Títol Introduction to Dependent Types with Idris Autor Boro Sitnikovski Matèria Professional and Applied Computing Editor Springer Nature Data de publicació 2023 Identificador 9781484292594 Font https://doi.org/10.1007/978-1-4842-9259-4 Etiquetes Professional and Applied Computing Col·lecció Professional and Applied Computing ← ítem anterior Ítem següent →
