Armchair Type Theory
Offered By: JSConf via YouTube
Course Description
Overview
Explore the historical roots and fundamental concepts of type theory in this engaging JSConf 2014 talk. Delve into the surprising revelation that types predate Haskell, gaining insights into the evolution and significance of type systems in programming languages. Discover how this knowledge can enhance your understanding of modern software development practices and language design.
Syllabus
Zach Carter: Armchair Type Theory [JSConf2014]
Taught by
JSConf
Related Courses
Programming LanguagesUniversity of Virginia via Udacity Compilers
Stanford University via Coursera Programming Languages, Part A
University of Washington via Coursera CSCI 1730 - Introduction to Programming Languages
Brown University via Independent Intro to Java Programming
San Jose State University via Udacity