Name
Title | Citations | PageRank | Year |
|---|---|---|---|
| Handling Local State with Global State. | 0 | 0.34 | 2019 |
| Selected and extended papers from Partial Evaluation and Program Manipulation 2013. | 0 | 0.34 | 2014 |
| Functional Pearl: Nearest Shelters in Manhattan. | 0 | 0.34 | 2014 |
| Agda Implementors Meeting (NII Shonan Meeting 2011-2). | 0 | 0.34 | 2011 |
| Dependently Typed Programming (NII Shonan Meeting 2011-3). | 0 | 0.34 | 2011 |