Revisão das 12h25min de 25 de maio de 2007 editar YonaBot (discussão \| contribs) 4 768 edições m Bot: Adicionando: ja:型理論 ← Ver a alteração anterior		Revisão das 17h38min de 12 de agosto de 2007 editar desfazer F.unicamp (discussão \| contribs) 30 edições Ver a alteração posterior →
Linha 31: * Inferência de tipo Polimórfica (Linguagem de Programação ML; polimorfismo de Hindley-Milner ) subtipo * Tipagem estática orientada a objetos (grew out of abstract data type and subtyping) * F-bounded polimorfismos e esforços para combinar generics com polimorfismo de orientação a objetos * F-bounded polymorphism and efforts to combine generic w/ oo polymorphism * Set-constraint-based type systems * module systems * Type-driven proof systems (e.g. ELF) * ... (~~much~~muito ~~more~~mais) Impacto prático da teoria dos tipos * Linguagem de programação fortemente tipadas * Análise e otimização de programas orientadas a tipos * Type-driven program analysis and optimization * Type-aided security mechanisms (e.g., TAL, Java bytecode verification) Linha 54: A noção de tipos de dados abstratos A relação entre tipos e programação orientada a objeto A relação entre tipos e algoritmos ~~The interplay between types and algorithms~~ Uma definição formal de tipos de dados abstratos - pré-codição, pós-condição e invariantes

Teoria dos tipos: diferenças entre revisões