Contracts for first-class modules. - T. Stephen Strickland; Matthias Felleisen (DLS, 2009)

Practical Variable-Arity Polymorphism. - T. Stephen Strickland; Sam Tobin-Hochstadt; Matthias Felleisen (ESOP, 2009)

Nested and Dynamic Contract Boundaries. - T. Stephen Strickland; Matthias Felleisen (IFL, 2009)

Contracts for first-class classes. - T. Stephen Strickland; Matthias Felleisen (DLS, 2010)

Chaperones and impersonators: run-time support for reasonable interposition. - T. Stephen Strickland; Sam Tobin-Hochstadt; Robert Bruce Findler; Matthew Flatt (OOPSLA, 2012)

Gradual typing for first-class classes. - Asumu Takikawa; T. Stephen Strickland; Christos Dimoulas; Sam Tobin-Hochstadt; Matthias Felleisen (OOPSLA, 2012)

Constraining Delimited Control with Contracts. - Asumu Takikawa; T. Stephen Strickland; Sam Tobin-Hochstadt (ESOP, 2013)

The ruby type checker. - Brianna M. Ren; John Toman; T. Stephen Strickland; Jeffrey S. Foster (SAC, 2013)

Contracts for First-Class Classes. - T. Stephen Strickland; Christos Dimoulas; Asumu Takikawa; Matthias Felleisen (ACM Trans. Program. Lang. Syst., 2013)

Contracts for domain-specific languages in Ruby. - T. Stephen Strickland; Brianna M. Ren; Jeffrey S. Foster (DLS, 2014)

Migratory Typing: Ten Years Later. - Sam Tobin-Hochstadt; Matthias Felleisen; Robert Bruce Findler; Matthew Flatt; Ben Greenman; Andrew M. Kent; Vincent St-Amour; T. Stephen Strickland; Asumu Takikawa (SNAPL, 2017)

Real-time clinical note monitoring to detect conditions for rapid follow-up: A case study of clinical trial enrollment in drug-induced torsades de pointes and Stevens-Johnson syndrome. - Sarah DeLozier; Peter Speltz; Jason Brito; Leigh Anne Tang; Janey Wang; Joshua C. Smith; Dario A. Giuse; Elizabeth Phillips; Kristina Williams; T. Stephen Strickland; Giovanni Davogustto; Dan M. Roden; et al. (J. Am. Medical Informatics Assoc., 2021)