Revisão das 09h52min de 19 de abril de 2006 editar Salgueiro (discussão \| contribs) 6 902 edições ← Ver a alteração anterior		Revisão das 18h06min de 26 de abril de 2006 editar desfazer 57.32.67.252 (discussão) Ver a alteração posterior →
Linha 28: * Russell e Whitehead * Sistema de cálculo de tipo Lambda * Lambda calculus type systems * ~~Polymorphic~~Inferência ~~type~~de ~~inference~~tipo Polimórfica (ML programming language; Hindley-Milner polymorphism) subtyping * Object-oriented static typing (grew out of abstract data type and subtyping) * F-bounded polymorphism and efforts to combine generic w/ oo polymorphism

Teoria dos tipos: diferenças entre revisões