Kind Type Theory

Robert Harper: "Phase Distinctions in Type Theory" 01:06:56
Robert Harper: "Phase Distinctions in Type Theory" Topos Institute 2,613 3 года назад
Uncovering the Unknown: Principles of Type Inference 01:02:59
Uncovering the Unknown: Principles of Type Inference ChariotSolutions 7,377 12 лет назад
"A Little Taste of Dependent Types" by David Christiansen 38:36
"A Little Taste of Dependent Types" by David Christiansen Strange Loop Conference 40,946 6 лет назад
Foundations 7: Dependent Type Theory 02:37:00
Foundations 7: Dependent Type Theory Richard Southwell 7,783 4 года назад
Cubical Agda: A Dependently Typed Programming Language with Univalence and Higher Inductive Types 23:58
Cubical Agda: A Dependently Typed Programming Language with Univalence and Higher Inductive Types ACM SIGPLAN 3,263 5 лет назад
Miles Sabin - Adding kind-polymorphism to the Scala programming language | Code Mesh LDN 18 42:51
Miles Sabin - Adding kind-polymorphism to the Scala programming language | Code Mesh LDN 18 Code Sync 609 6 лет назад
Adventure with Types in Haskell - Simon Peyton Jones (Lecture 2) 01:07:32
Adventure with Types in Haskell - Simon Peyton Jones (Lecture 2) jasonofthel33t 20,063 10 лет назад
Kind Inference for Datatypes 21:26
Kind Inference for Datatypes ACM SIGPLAN 599 5 лет назад
Poland vs Venezuela: Old World Charm vs New World Wonderspoland venezuela comparison 03:19:26
Poland vs Venezuela: Old World Charm vs New World Wonderspoland venezuela comparison Jetoff ai 600 1 день назад
Refinement Kinds: Type-Safe Programming with Practical Type-Level Computation 23:00
Refinement Kinds: Type-Safe Programming with Practical Type-Level Computation ACM SIGPLAN 319 5 лет назад
LambdaConf 2015 - Introduction to Intuitionistic Type Theory Vlad Patryshev 52:39
LambdaConf 2015 - Introduction to Intuitionistic Type Theory Vlad Patryshev Confreaks 7,347 9 лет назад
Correct terminology in type theory: types, type constructors, kinds/sorts and values 03:23
Correct terminology in type theory: types, type constructors, kinds/sorts and values Roel Van de Paar 11 2 года назад
MuniHac 2020: Richard Eisenberg - Partial Type Constructors 01:06:36
MuniHac 2020: Richard Eisenberg - Partial Type Constructors TNG Technology Consulting GmbH 979 4 года назад
David Jaz Myers: Homotopy type theory for doing category theory 01:04:01
David Jaz Myers: Homotopy type theory for doing category theory Topos Institute 6,585 4 года назад
ACM@UIUC SIGPLAN - Type Theory - 5 (Higher-kinded types) 44:23
ACM@UIUC SIGPLAN - Type Theory - 5 (Higher-kinded types) Reed Oei 76 4 года назад
Relationship between Higher Kinded Polymorphism, type inference, and Currying 02:04
Relationship between Higher Kinded Polymorphism, type inference, and Currying Roel Van de Paar 8 4 года назад
Type A Personalities vs Type B Personalities (Type D, Type T too!) 05:54
Type A Personalities vs Type B Personalities (Type D, Type T too!) Practical Psychology 318,820 5 лет назад
type theory for busy engineers niko matsakis 08:02
type theory for busy engineers niko matsakis CodeKick 1 2 месяца назад
08 INF-3910-5: Types and type systems 29:59
08 INF-3910-5: Types and type systems Jonas Juselius 462 4 года назад
The future of TypedDict | Typing Summit | PyCon US 2022 11:13
The future of TypedDict | Typing Summit | PyCon US 2022 David Foster 3,027 2 года назад

Сейчас ищут