![](/img/cover-not-exists.png)
[ACM Press the XXIII Brazilian Symposium - Salvador, Brazil (2019.09.23-2019.09.27)] Proceedings of the XXIII Brazilian Symposium on Programming Languages - SBLP 2019 - Structure verification of deep neural networks at compilation time using dependent types
Piñeyro, Leonardo, Pardo, Alberto, Viera, MarcosYear:
2019
Language:
english
DOI:
10.1145/3355378.3355379
File:
PDF, 206 KB
english, 2019