conf.directory

Dependent Types

3 talks about Dependent Types

(Programming Languages) in Agda = Programming (Languages in Agda) • Philip Wadler • YOW! 2019
01:00:05
Advanced

(Programming Languages) in Agda = Programming (Languages in Agda) • Philip Wadler • YOW! 2019

Philip Wadler
GOTO Conferences
0 views
May 4 2024
Watch Now
A Taste of Type Theory • Bartosz Milewski • YOW! 2019
53:50
Advanced

A Taste of Type Theory • Bartosz Milewski • YOW! 2019

Bartosz Milewski
GOTO Conferences
9,157 views
December 18 2022
Watch Now
LambdaConf 2015 - Write Some Idris Brian McKenna
01:45:43
Intermediate

LambdaConf 2015 - Write Some Idris Brian McKenna

Brian McKenna
Confreaks
4,094 views
December 30 2015
Watch Now