Extensible effects: an alternative to monad transformers. - Oleg Kiselyov; Amr Sabry; Cameron Swords (Haskell, 2013)

Expressing contract monitors as patterns of communication. - Cameron Swords; Amr Sabry; Sam Tobin-Hochstadt (ICFP, 2015)

Big types in little runtime: open-world soundness and collaborative blame for gradual type systems. - Michael M. Vitousek; Cameron Swords; Jeremy G. Siek (POPL, 2017)

An extended account of contract monitoring strategies as patterns of communication. - Cameron Swords; Amr Sabry; Sam Tobin-Hochstadt (J. Funct. Program., 2018)