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
- 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 ...
- The Hidden Data Flow in
- Implementing the
- Bidirectional Type Checking
Detailed Analysis of Bidirectional Type Checking
Incremental Over last years Paper and supplementary material: ...
Type
That wraps up our extensive overview of Bidirectional Type Checking.