A Type-theoretic Reconstruction of the Visitor Pattern. - Peter Buchlovsky; Hayo Thielecke (MFPS, 2005)

Semantics of an effect analysis for exceptions. - Nick Benton; Peter Buchlovsky (TLDI, 2007)

TF-Replicator: Distributed Machine Learning for Researchers. - Peter Buchlovsky; David Budden; Dominik Grewe; Chris Jones; John Aslanides; Frederic Besse; Andy Brock; Aidan Clark; Sergio Gomez Colmenarejo; Aedan Pope; Fabio Viola; Dan Belov (CoRR, 2019)