Understanding Bidirectional Type Checking
Let's dive into the details surrounding Bidirectional Type Checking. Compose NYC 2019 Speaker: David Christiansen When implementing a
Key Takeaways about Bidirectional Type Checking
- Thomas Wies C◦mp◦se :: Conference http://www.composeconference.org/ February 5, 2016 In this talk, we will explain how ...
- In this episode we continue our conversation with David Christiansen, he wrote the books Functional Programming in Lean and ...
- Link to code: https://github.com/AndrasKovacs/elaboration-zoo/tree/master/02-typecheck-closures-debruijn Note that there was a ...
- Bidirectional Type Checking
- https://icfp21.sigplan.org/details/TyDe-2021/1/Gradual-Correctness-a-Dynamically-
Detailed Analysis of Bidirectional Type Checking
The Hidden Data Flow in Over last years Paper and supplementary material: ...
Type
That wraps up our extensive overview of Bidirectional Type Checking.