Resultados da pesquisa

...s''' e '''tipos de dados genéricos''' respectivamente e formam a base da [[programação genérica]]. ...tipo do(s) argumento(s) para o(s) qual(is) ela é aplicada. Dessa forma, o polimorfismo ad-hoc pode apenas suportar um número limitados de tipos distintos, desde q ...

...de relações Γ tem um polimorfismo ''f'' se toda relação em Γ, ''f'' tem um polimorfismo. Essa definição nos permite formular algebricamente o teorema da dicotomia ...é decidível em tempo polinomial se Γ tem alguma das seis operações como um polimorfismo: ...

...de funções '', semelhante ao [[Polimorfismo|Polimorfismo em linguagens de programação]]. Smolka generalizou a lógica ordem-sortida para permitir [[polimorfismo paramétrico]]. ...

...leana]] (SAT), o Problema da Satisfabilidade de Módulos Teóricos (SMT) e a programação de conjunto de respostas (ASP) pode ser aproximado pensando-se em certas fo ...s restrições possuem uma forma arbitrária mas essencialmente não existe um polimorfismo unário para o conjunto de restrições. ...

* [[Programação funcional|funcional]] * [[Programação modular|modular]] ...