A Debate on Language and Tool Support for Design Patterns. - Craig Chambers; Bill Harrison; John M. Vlissides (POPL, 2000)

Symmetric Encapsulated Multi-Methods - David Lievens; Bill Harrison (CoRR, 2011)

Enforcing MAVLink Safety & Security Properties Via Refined Multiparty Session Types. - Arthur Amorim; Max Taylor; Gary T. Leavens; Bill Harrison; Lance Joneckis; Trevor Kann (CoRR, 2025)