Buscas alternativas:
dependent » independent (Expandir a busca)
"Dependent types" » "Dependent type" (Expandir a busca)
Mostrando 1 - 2 resultados de 2 para a busca '"Dependent types"', tempo de busca: 0,10s

1

Assuntos: “...Dependent types...”

Týr : a dependent type based code transformation for spatial memory safety in LLVM

Publicado em 2018
Acessar documento
Dissertação

2

Assuntos: “...Dependent types...”

Curios - a web of types

Publicado em 2023
Acessar documento
Dissertação