Type Theory Comes of Age.

The article discusses the role of type theory in computer programming languages. Strongly-typed languages include javascript and Python, while C is a prominent example of a weakly-typed language. Statically-typed languages seek to detect errors when programs are compiled, whereas dynamically-typed o...

Descripción completa

Detalles Bibliográficos

Publicado en:	Communications of the ACM Vol. 53; no. 2; pp. 16 - 18
Autor principal:	Wright, Alex
Formato:	Artículo
Publicado:	Association for Computing Machinery Feb2010
Materias:	Type theory Mathematical logic Programming languages C (Computer program language) JavaScript programming language Python programming language
Acceso en línea:	Ver este registro en EBSCOhost