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

View edit of March 3, 2011 or FindPage with title or text search