Revisão das 08h51min de 22 de janeiro de 2012 editar Fred Lira (discussão \| contribs) 46 edições m adicionando link de texto ← Ver a alteração anterior		Revisão das 08h53min de 22 de janeiro de 2012 editar desfazer Fred Lira (discussão \| contribs) 46 edições m adicionando link de texto Ver a alteração posterior →
Linha 24: * Russell e Whitehead * Sistema de cálculo de tipo Lambda (e.g [[Haskell_(linguagem_de_programação)\|Haskell]]) * 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)

Teoria dos tipos: diferenças entre revisões