Computational Type Theory [1/5] - Robert Harper - OPLSS 2018
1:25:20
Find in video from 07:16Formal Type Theory
Computational Type Theory [1/5] - Robert Harper - OPLSS 2018
21.1K viewsAug 1, 2018
YouTubeOPLSS
Type Theory Foundations, Lecture 1
1:24:13
Find in video from 05:35Proof Theory
Type Theory Foundations, Lecture 1
43.5K viewsDec 8, 2013
YouTubep473r
Type Theory in Computer Science, Linguistics, Logic
40:14
Type Theory in Computer Science, Linguistics, Logic
41K views10 months ago
YouTubeAttic Philosophy
Introduction to Programming and Computer Science - Full Course
1:59:09
Find in video from 08:17Programming Languages Syntax
Introduction to Programming and Computer Science - Full Course
11M viewsApr 21, 2020
YouTubefreeCodeCamp.org
Programming Basics: Statements & Functions: Crash Course Computer Science #12
11:57
Programming Basics: Statements & Functions: Crash Course Comput…
1M viewsMay 17, 2017
YouTubeCrashCourse
Building a Typechecker from scratch [1/20] Introduction to Type theory and checking
19:39
Find in video from 01:08Interpreted and Compiled Languages
Building a Typechecker from scratch [1/20] Introduction to Typ…
14K viewsMay 12, 2022
YouTubeDmitry Soshnikov
Category Theory for Programmers: Chapter 2 - Types and Functions
15:01
Find in video from 01:55Who Needs Types?
Category Theory for Programmers: Chapter 2 - Types and Functions
18.9K viewsFeb 10, 2021
YouTubecode_report
A Dependent Type Theory for Meta-programming with Intensional Ana…
9 months ago
acm.org
17:39
Find in video from 03:52Types of Programming Languages
Introduction to Computer Programming | What is it? Progra…
659.8K viewsDec 8, 2017
YouTubeLearningLad
1:27:27
SPLV 2024 - Type Theory 2 (Conor McBride)
154 viewsFeb 21, 2025
YouTubeSPLI: The Scottish Programming Languages In…
15:48
Every Programming Language Explained in 16 Minutes
227.9K views5 months ago
YouTubeexplainerguy01
5:14
Find in video from 00:50Types of Programming Languages
Types of Programming Languages
403K viewsOct 10, 2019
YouTubeSimply Coding
10:08
Find in video from 01:42Type Theory
Why should you learn Type Theory?
74.8K viewsAug 16, 2021
YouTubeDapper Mink
1:25
Type Classes: The Genesis of Modern Programming #shorts
800 views6 months ago
YouTubeType Theory Forall
3:35
Idris: Understanding Indexed by Type vs Containing a Type Explai…
4 views5 months ago
YouTubeThe Debug Zone
8:35
Every Programming Language Explained in 8 Minutes
22.3K views5 months ago
YouTubeComputer Science Explainer
11:52
Find in video from 02:03Early Programming Languages
The First Programming Languages: Crash Course Computer Science #…
1.2M viewsMay 10, 2017
YouTubeCrashCourse
0:07
Types of Programming Languages
33.2K views6 months ago
YouTubeCodewithPrashant
3:38
5 Fundamental Concepts of Programming Languages | Basic …
107.1K viewsApr 22, 2020
YouTubeLearn with Whiteboard
8:00
Find in video from 05:38Types of Programming Languages
What are the Types of Programming Languages?
35.2K viewsFeb 1, 2019
YouTubeCBT Nuggets
1:06:56
Find in video from 17:50Type Theory
Robert Harper: "Phase Distinctions in Type Theory"
3K viewsDec 9, 2021
YouTubeTopos Institute
1:30:37
Naïve Type Theory by Thorsten Altenkirch (University of Nottingh…
28.7K viewsApr 2, 2017
YouTubeFOMUS 2016
14:47
Find in video from 01:45Typeface and Font
Typography Theory: The Basics of Type | Basics for Beginners
51.6K viewsApr 30, 2020
YouTubeTipTut
20:14
Category Theory for Programmers: Chapter 1 - Category
70.4K viewsJan 31, 2021
YouTubecode_report
23:56
C_84 Introduction to Functions - part 1 | C Language Tutorials
1.3M viewsAug 29, 2021
YouTubeJenny's Lectures CS IT
26:13
Find in video from 00:32Formal Languages and Grammar
Chomsky Classification of Grammar || GATECSE || TOC
258.8K viewsApr 10, 2020
YouTubeTHE GATEHUB
10:56
Every Type of Programming Language Explained
143.4K views3 months ago
YouTubeMr. Byte
2:21
Computer Science Basics: Programming Languages
199K viewsOct 3, 2018
YouTubeLearnFree
13:03
Find in video from 00:25Basic Anatomy of Type
Typography Theory: The Anatomy of Type | Basics for Beginners
28.9K viewsJun 1, 2020
YouTubeTipTut
1:18:11
Find in video from 10:35Families of Types
Type Theory Foundations, Lecture 3
4.7K viewsDec 8, 2013
YouTubep473r
See more videos
Static thumbnail place holder