Name
Title | Citations | PageRank | Year |
|---|---|---|---|
| Propositional equality for gradual dependently typed programming | 0 | 0.34 | 2022 |
| A reasonably gradual type theory | 0 | 0.34 | 2022 |
| Gradual verification of recursive heap data structures | 0 | 0.34 | 2020 |
| A trustworthy mechanized formalization of R. | 0 | 0.34 | 2018 |
| Gradual Liquid Type Inference | 2 | 0.37 | 2018 |