Navegação Computação por Autor "Amaral Júnior, Valmir Pretto do"
Resultados 1-1 de 1
-
Curios - a web of types
Amaral Júnior, Valmir Pretto do (2023) [Dissertação]Ever since their inception lambda calculus and type theory have been such an influence in the design of modern programming languages so much so that even programming lan guages outside of the functional circle have adopted ...