Navegação Programa de Pós-Graduação em Ciência da Computação por assunto "Functional languages"
Itens para a visualização no momento 1-1 of 1
-
Um interpretador e typechecker para uma linguagem reversível com pattern-matching simétrico e controle quântico
(2018-07-13)Com o objetivo de superar os limites teóricos impostos pelo custo energético do modelo de computação clássico, novos paradigmas de computação foram formalizados. Enquanto a computação reversível busca conciliar a ...