Buscas alternativas:
typed programming » based programming (Expandir a busca), time programming (Expandir a busca), system programming (Expandir a busca)
algorithm typed » algorithm type (Expandir a busca), algorithm based (Expandir a busca), algorithm yen (Expandir a busca)
Mostrando 1 - 3 resultados de 3 para a busca 'algorithm typed programming', tempo de busca: 0,10s

1

Assuntos: “...[en] PROGRAMMING LANGUAGES...”

[pt] COMPILAÇÃO OTIMIZADA DE UMA LINGUAGEM DINÂMICA PARA UM AMBIENTE DE EXECUÇÃO GERENCIADA

Publicado em 2017
Acessar documento (1)
Acessar documento (2)
Acessar documento (3)
Tese

2

“... do problema em múltiplas classes distintas, resultando no modelo das Typed Graph Networks (TGN...”

Learning to solve NP-complete problems

Publicado em 2019
Acessar documento
Tese

3

“...-equivalence modulo A, C and AC are specified in Coq and proved sound. An algorithm implemented in OCaml...”

Nominal Equational Problems Modulo Associativity, Commutativity and Associativity-Commutativity

Acessar documento
Tese