Name
Title | Citations | PageRank | Year |
|---|---|---|---|
| Program adverbs and Tlön embeddings | 0 | 0.34 | 2022 |
| A Dependent Dependency Calculus | 0 | 0.34 | 2021 |
| An existential crisis resolved: type inference for first-class existential types | 0 | 0.34 | 2021 |
| How to write a good research paper | 0 | 0.34 | 2015 |
| How to give a good research talk | 0 | 0.34 | 2015 |
| Boxy type inference for higher-rank types and impredicativity | 15 | 0.78 | 2006 |