1. Combinatory logic and combinators in array languages;Proceedings of the 8th ACM SIGPLAN International Workshop on Libraries, Languages and Compilers for Array Programming;2022-06-13
2. The history of Standard ML;Proceedings of the ACM on Programming Languages;2020-06-12
3. Logical Algebras as Formal Systems: H.B. Curry’s Approach to Algebraic Logic;Universal Logic: An Anthology;2012
4. The search for a reduction in combinatory logic equivalent to λβ-reduction;Theoretical Computer Science;2011-08
5. The Logic of Church and Curry;Handbook of the History of Logic;2009