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
- The Hidden Data Flow in
- Bidirectional Type Checking
- Thomas Wies C◦mp◦se :: Conference http://www.composeconference.org/ February 5, 2016 In this talk, we will explain how ...
- Link to code: https://github.com/AndrasKovacs/elaboration-zoo/tree/master/02-typecheck-closures-debruijn Note that there was a ...
- https://icfp21.sigplan.org/details/erlang-2021-papers/6/
Detailed Analysis of Bidirectional Type Checking
Over last years Paper and supplementary material: ... In this episode we continue our conversation with David Christiansen, he wrote the books Functional Programming in Lean and ...
Incremental
That wraps up our extensive overview of Bidirectional Type Checking.
