Dependent Type Programming Paradigms
12:48
Find in video from 00:37Correctness of Programs
Dependent Type Programming Paradigms
922 viewsApr 5, 2022
YouTubeArun C
"Scala vs Idris: Dependent types, now and in the future" by Miles Sabin and Edwin Brady (2013)
40:14
Find in video from 04:06In This Talk: Dependent Types
"Scala vs Idris: Dependent types, now and in the future" by Miles Sa…
4K viewsFeb 26, 2021
YouTubeStrange Loop Conference
Stephan Boyer - What are Dependent Types - λC 2017
11:25
Find in video from 05:57Rooster and Dependent Types
Stephan Boyer - What are Dependent Types - λC 2017
4.9K viewsOct 14, 2017
YouTubeLambdaConf
Foundations 7: Dependent Type Theory
2:37:00
Foundations 7: Dependent Type Theory
9.5K viewsFeb 8, 2021
YouTubeRichard Southwell
Dependent Types with David Christiansen – Functional Futures
2:03:05
Dependent Types with David Christiansen – Functional Futures
6.9K viewsSep 15, 2022
YouTubeSerokell
[POPL'25] A Dependent Type Theory for Meta-programming with Intensional Analysis
19:30
[POPL'25] A Dependent Type Theory for Meta-programming wit…
122 views10 months ago
YouTubeACM SIGPLAN
"A Little Taste of Dependent Types" by David Christiansen
38:36
Find in video from 23:38Even or Odd Program as an Example
"A Little Taste of Dependent Types" by David Christiansen
44.8K viewsOct 16, 2018
YouTubeStrange Loop Conference
About Idris programming Language
0:54
About Idris programming Language
232 views9 months ago
YouTubeVLR Training
F(star) Programming Language
0:53
F(star) Programming Language
282 views9 months ago
YouTubeVLR Training
[ny-haskell] Dependent Types in Haskell with Richard Eisenberg
1:39:33
[ny-haskell] Dependent Types in Haskell with Richard Eisenberg
7 views5 months ago
YouTubeNYC Functional Programming Videos
"Idris: Practical Dependent Types with Practical Examples" by Brian McKenna
40:56
Find in video from 02:33Practical Dependent Types
"Idris: Practical Dependent Types with Practical Examples" by Bria…
30.1K viewsSep 20, 2014
YouTubeStrange Loop Conference
A Dependent Type Theory for Meta-programming with Intensional Analysis | Proceedings of the ACM on Programming Languages
A Dependent Type Theory for Meta-programming with Intensional An…
7 months ago
acm.org
Solving the Dependent Types Challenge in Idris: A Clear Guide
1:52
Solving the Dependent Types Challenge in Idris: A Clear Guide
3 views5 months ago
YouTubevlogize
Using typename Dependently in Base Class Names in C+ + Templates
1:57
Using typename Dependently in Base Class Names in C+ + Templa…
5 months ago
YouTubevlogize
Examples of easy dependently typed programming (in Idris) by Andor Penzes | Lambda Days 2023
20:58
Examples of easy dependently typed programming (in Idris) by A…
509 viewsApr 19, 2024
YouTubeCode Sync
Creating Multi-Level Dependent Drop Down Lists in Excel - New and Better Way!
15:29
Creating Multi-Level Dependent Drop Down Lists in Excel - New a…
55.7K viewsDec 5, 2024
YouTubeTrumpExcel
Computational Type Theory [1/5] - Robert Harper - OPLSS 2018
1:25:20
Find in video from 26:29Dependent Types
Computational Type Theory [1/5] - Robert Harper - OPLSS 2018
21K viewsAug 1, 2018
YouTubeOPLSS
raichoo: Programming with dependent types in Idris
56:54
Find in video from 02:59What are Dependent Types?
raichoo: Programming with dependent types in Idris
715 viewsDec 28, 2014
YouTubemedia.ccc.de
Siemens TIA Portal – Asset Oriented Programming - Versioning Types
13:42
Siemens TIA Portal – Asset Oriented Programming - Versioning Types
102 views1 month ago
YouTubeLiam Bee
I is for Idris - Where Your Types Prove Your Code #computerscience
0:49
I is for Idris - Where Your Types Prove Your Code #computerscience
1.1K views8 months ago
YouTubeTech&Code Bytes
Idris: Understanding Indexed by Type vs Containing a Type Explained
3:34
Idris: Understanding Indexed by Type vs Containing a Type Explai…
3 views4 months ago
YouTubeThe Debug Zone
Siemens TIA Portal – Asset Oriented Programming - What Is Typed Data
5:12
Siemens TIA Portal – Asset Oriented Programming - What Is Typed Data
120 views2 months ago
YouTubeLiam Bee
C Data Types (+3 Design Questions) | Sanfoundry
1:13:06
Find in video from 1:09:51Derived and Dependent Data Types
C Data Types (+3 Design Questions) | Sanfoundry
25K viewsMay 14, 2021
YouTubeSanfoundry
Python Tutorial for Beginners: Understand Python Data Types in 10 minutes
8:42
Python Tutorial for Beginners: Understand Python Data Types in …
65.6K viewsDec 4, 2018
YouTube365 Data Science
Type Theory in Computer Science, Linguistics, Logic
40:14
Type Theory in Computer Science, Linguistics, Logic
41K views8 months ago
YouTubeAttic Philosophy
Tutorial 12: Linearly Dependent and Linearly Independent Vectors in Linear Algebra
8:21
Tutorial 12: Linearly Dependent and Linearly Independent Vectors in Li…
4.3K viewsJan 21, 2022
YouTubeFahad Hussain
5 Ways CoDependent Relationships Differ from Healthy Ones | CoDependency Masterclass
27:42
5 Ways CoDependent Relationships Differ from Healthy Ones | CoDep…
40.3K viewsAug 11, 2022
YouTubeDoc Snipes
Type-driven Development with Idris
57:31
Type-driven Development with Idris
2.5K viewsAug 28, 2016
YouTubeTNG Technology Consulting GmbH
Understanding the typename and template Keywords in C+ + : A Deep Dive into Dependent Names
1:46
Understanding the typename and template Keywords in C+ + : A De…
1 views5 months ago
YouTubevlogize
Probability Basics: Independent vs Dependent Events Explained!
3:07
Probability Basics: Independent vs Dependent Events Explained!
120 views6 months ago
YouTubeCodeLucky
See more