Category Language Typing

Discussions and debates on language typing (static, dynamic, etc); in particular its applicability to programming and programming languages. See CategoryTypeTheory for pages concerning formal TypeTheory, though there is lots of overlap.

Click on this page's title to see a list of all pages in this category.

CategoryCategory, CategoryProgrammingLanguage, CategoryTypeTheory, CategoryTypingDebate

EditText of this page (last edited March 3, 2011) or FindPage with title or text search