Understanding Local Refinement Typing
Exploring Local Refinement Typing reveals several interesting facts. Presenter: Benjamin Cosman.
Key Takeaways about Local Refinement Typing
- Authors: Luís Caires, Bernardo Toninho Presented at SPLASH 2019.
- In this video lesson we will learn how to use BOIs and FOIs size control options available under the Add
- Source code at: https://github.com/alcides/RefinementTypesTutorial.
- We want the checking and inference of
- This video shows how to use the “Create the
Detailed Analysis of Local Refinement Typing
Ranjit Jhala. This is a link to the paper discussed: https://www.nature.com/articles/s41467-020-20608-z. No description available.
In this talk I will present Synquid: a synthesizer that takes advantage of the modularity offered by
Stay tuned for more updates related to Local Refinement Typing.
