| Automatic Differentiation using Constraint Handling Rules in Prolog. | 1 | 0.35 | 2017 |
| Memoisation: Purely, Left-recursively, and with (Continuation Passing) Style. | 0 | 0.34 | 2017 |
| More declarative tabling in Prolog using multi-prompt delimited control. | 1 | 0.35 | 2017 |
| Advances in Integrating Statistical Inference. | 0 | 0.34 | 2015 |
| An Information-Theoretic Account of Musical Expectation and Memory. | 1 | 0.40 | 2013 |
