Buscas alternativas:
module implementation » model implementations (Expandir a busca), stable implementation (Expandir a busca), computer implementation (Expandir a busca)
implementation typed » implementation the (Expandir a busca), implementation upper (Expandir a busca), implementation applied (Expandir a busca)
typed programming » based programming (Expandir a busca), time programming (Expandir a busca), system programming (Expandir a busca)
module implementation » model implementations (Expandir a busca), stable implementation (Expandir a busca), computer implementation (Expandir a busca)
implementation typed » implementation the (Expandir a busca), implementation upper (Expandir a busca), implementation applied (Expandir a busca)
typed programming » based programming (Expandir a busca), time programming (Expandir a busca), system programming (Expandir a busca)
1
Assuntos:
“...Unificação módulo teorias equacionais...”
Nominal Equational Problems Modulo Associativity, Commutativity and Associativity-Commutativity
Tese
2
“... bibliotecas de baixo nível e módulos de extensão para Lua. Nesse sentido, Pallene é uma linguagem companheira...”
[en] A FOREIGN FUNCTION INTERFACE FOR PALLENE
Tese