search

metaborg / rust-scopegraphs

Scope Graph Implementation in Rust
https://github.com/metaborg/rust-scopegraphs
MIT License
20 stars 0 forks source link

Precise Implicit Close #29

Open jdonszelmann opened 2 months ago

jdonszelmann commented 2 months ago

Implement a Completeness Strategy that is similar to the strategy outlined in §3.1 of Bach Poulsen et al. (2023)

Casper Bach Poulsen, Aron Zwaan, and Paul Hübner. 2023. A Monadic Framework for Name Resolution in Multi-phased Type Checkers. In Proceedings of the 22nd ACM SIGPLAN International Conference on Generative Programming: Concepts and Experiences (GPCE 2023). Association for Computing Machinery, New York, NY, USA, 14–28. https://doi.org/10.1145/3624007.3624051