conf.directory

Semantical vs Syntactic Type Theory

2 talks about Semantical vs Syntactic Type Theory

RailsConf 2024 - What's in a Name: From Variables to Domain-Driven Design by Karynn Ikeda
29:06
Intermediate

RailsConf 2024 - What's in a Name: From Variables to Domain-Driven Design by Karynn Ikeda

Karynn Ikeda
Confreaks
0 views
July 15 2024
Watch Now
LambdaConf 2015 - Type Theory and its Meaning Explanations Jon Sterling
52:24
Advanced

LambdaConf 2015 - Type Theory and its Meaning Explanations Jon Sterling

Jon Sterling
Confreaks
11,246 views
January 4 2016
Watch Now
Semantical vs Syntactic Type Theory - Tech Conference Talks and Videos | conf.directory | conf.directory