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
- Implementing the
- Paper and supplementary material: ...
- Thomas Wies C◦mp◦se :: Conference http://www.composeconference.org/ February 5, 2016 In this talk, we will explain how ...
- Bidirectional Type Checking
- Incremental
Detailed Analysis of Bidirectional Type Checking
The Hidden Data Flow in Over last years 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 ...
That wraps up our extensive overview of Bidirectional Type Checking.