Buscas alternativas:
typed programming » based programming (Expandir a busca), time programming (Expandir a busca), system programming (Expandir a busca)
variable typed » variable speed (Expandir a busca), variable time (Expandir a busca), variable sized (Expandir a busca)
typed programming » based programming (Expandir a busca), time programming (Expandir a busca), system programming (Expandir a busca)
variable typed » variable speed (Expandir a busca), variable time (Expandir a busca), variable sized (Expandir a busca)
1
“.... It is a powerful tool for dealing with variable binding in a concrete manner that can be applied to any...”
Nominal Equational Problems Modulo Associativity, Commutativity and Associativity-Commutativity
Tese