Listar Computación por autor "Amaral Júnior, Valmir Pretto do"
Mostrando ítems 1-1 de 1
-
Curios - a web of types
Amaral Júnior, Valmir Pretto do (2023) [Tesis de maestría]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 ...