Teoria dos tipos: diferenças entre revisões
Conteúdo apagado Conteúdo adicionado
Linha 39:
Impacto prático da teoria dos tipos
*
* Type-driven program analysis and optimization
* Type-aided security mechanisms (e.g., TAL, Java bytecode verification)
| |||