Browsing Theses and Dissertations by Subject "Linguagens de programação"
Now showing items 1-2 of 2
-
Curios - a web of types
(2023) [Dissertation]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 ... -
Desenho de polígonos e sequenciamento de blocos de minério para planejamento de curto prazo procurando estacionarização dos teores
(2018) [Dissertation]O planejamento de curto prazo em minas a céu aberto exige a definição de poligonais, que representam os sucessivos avanços de lavra. As poligonais, tradicionalmente, são desenhadas em um processo laborioso na tentativa de ...