YoVDO

Armchair Type Theory

Offered By: JSConf via YouTube

Tags

JSConf Courses Programming Languages Courses Type System Courses Type Theory Courses

Course Description

Overview

Save Big on Coursera Plus. 7,000+ courses at $160 off. Limited Time Only!
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

Radical and Type Theories in Organic Chemistry (1832-1850) - Lecture 22
Yale University via YouTube
Introduction to programming with dependent types in Scala
Stepik
Uncovering the Unknown - Principles of Type Inference in Programming Languages
ChariotSolutions via YouTube
Univalence from a Computer Science Point-of-View - Dan Licata
Institute for Advanced Study via YouTube
Univalent Foundations and the Equivalence Principle - Benedikt Ahrens
Institute for Advanced Study via YouTube