Bidirectional Type Checking

2020 41:31
Synopsis
Compose NYC 2019 Speaker: David Christiansen When implementing a type checker, one must answer two questions: how to ...

You Might Also Like

Sound and Complete Bidirectional Typechecking for Higher-Rank Polymorphism with [...] 22:57
Sound And Complete Bidirectional Typechecking For Higher-ran...
2020
Bidirectional Type Checking 1:43:13
Bidirectional Type Checking
2023
#39 Equality, Quotation, Bidirectional Type Checking - David Christiansen 1:49:43
#39 Equality, Quotation, Bidirectional Type Checking - David...
2025
Bidirectional Type Checking for Relational Properties 1:20
Bidirectional Type Checking For Relational Properties
2020
[WITS'25] Incremental Bidirectional Typing via Order Maintenance 33:35
[wits'25] Incremental Bidirectional Typing Via Order Mainten...
2026
Erlang 2021 - Bidirectional Typing for Erlang 17:37
Erlang 2021 - Bidirectional Typing For Erlang
2022
Hands-On Intro to Bidirectional Type Inference with Elm -Lucas Dutton & Christopher Anand #FnConf 25 38:33
Hands-on Intro To Bidirectional Type Inference With Elm -luc...
2026
Type theory elaboration 1: bidirectional type checking 2:31:38
Type Theory Elaboration 1: Bidirectional Type Checking
2021
SimPL Type Checker Part 1 | OCaml Programming | Chapter 9 Video 34 9:41
Simpl Type Checker Part 1 | Ocaml Programming | Chapter 9 Vi...
2022
[OOPSLA'25] Incremental Bidirectional Typing via Order Maintenance 14:13
[oopsla'25] Incremental Bidirectional Typing Via Order Maint...
2026
Bidirectional Type Class Instances 9:32
Bidirectional Type Class Instances
2019
Download Options
Choose a download method below. All links open in new tabs.
Service Features Action
SaveFrom
MP4 & MP3 • HD Quality • Browser Extension Available
Download
Security Notice: These are third-party services. We recommend using antivirus software and being cautious of pop-up ads.