Výsledky vyhledávání - "Type Level Programming"

Structure verification of deep neural networks at compilation time Autor Piñeyro, Leonardo, Pardo, Alberto, Viera, Marcos

“…This paper presents TensorSafe, a Haskell library that makes possible the definition and structural validation of deep neural network architectures. Nowadays,…”
Získat plný text

Higher-order type-level programming in Haskell Autor Kiss, Csongor, Field, Tony, Eisenbach, Susan, Peyton Jones, Simon

“…Type family applications in Haskell must be fully saturated. This means that all type-level functions have to be first-order, leading to code that is both…”
Získat plný text

Implementing a Language for Distributed Systems: Choices and Experiences with Type Level and Macro Programming in Scala Autor Weisenburger, Pascal, Salvaneschi, Guido

Získat plný text