Buscas alternativas:
typed programming » based programming (Expandir a busca), time programming (Expandir a busca), system programming (Expandir a busca)
parameters by » parameters of (Expandir a busca), parameters in (Expandir a busca), parameters _ (Expandir a busca)
by typed » b type (Expandir a busca), by tape (Expandir a busca)
Mostrando 1 - 1 resultados de 1 para a busca 'parameters by typed programming*', tempo de busca: 0,11s

1

“... specification in which parameters are used to abstract variables, such as in predicates and functions. In the...”

Nominal Equational Problems Modulo Associativity, Commutativity and Associativity-Commutativity

Acessar documento
Tese