Name
Title | Citations | PageRank | Year |
|---|---|---|---|
| Grace's Inheritance. | 0 | 0.34 | 2017 |
| A Mechanical Soundness Proof for Subtyping Over Recursive Types. | 2 | 0.35 | 2016 |
| Object Inheritance Without Classes. | 3 | 0.44 | 2016 |
| From APIs to languages: generalising method names | 0 | 0.34 | 2015 |
| Brand Objects for Nominal Typing. | 6 | 0.50 | 2015 |
| Tinygrace: A Simple, Safe, and Structurally Typed Language | 1 | 0.35 | 2014 |
| Graceful Dialects. | 0 | 0.34 | 2014 |
| [Demo abstract] LittleBits synth kit as a physically-embodied, domain specific functional programming language | 2 | 0.66 | 2014 |