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...

Full description

Bibliographic Details

Published in:	Communications of the ACM Vol. 53; no. 2; pp. 16 - 18
Main Author:	Wright, Alex
Format:	Article
Published:	Association for Computing Machinery Feb2010
Subjects:	Type theory Mathematical logic Programming languages C (Computer program language) JavaScript programming language Python programming language
Online Access:	View this record in EBSCOhost