Title | Citations | PageRank | Year |
---|---|---|---|
One down, 699 to go: or, synthesising compositional desugarings | 0 | 0.34 | 2021 |
FreezeML: complete and easy type inference for first-class polymorphism | 0 | 0.34 | 2020 |
ProvMark: A Provenance Expressiveness Benchmarking System | 0 | 0.34 | 2019 |