A Visual Environment for Developing Context-Sensitive Term Rewriting Systems. - Jacob Matthews; Robert Bruce Findler; Matthew Flatt; Matthias Felleisen (RTA, 2004)

Automatically Restructuring Programs for the Web. - Jacob Matthews; Robert Bruce Findler; Paul T. Graunke; Shriram Krishnamurthi; Matthias Felleisen (Autom. Softw. Eng., 2004)

Relationally-parametric polymorphic contracts. - Arjun Guha; Jacob Matthews; Robert Bruce Findler; Shriram Krishnamurthi (DLS, 2007)

Parametric Polymorphism through Run-Time Sealing or, Theorems for Low, Low Prices!. - Jacob Matthews; Amal Ahmed 001 (ESOP, 2008)

An operational semantics for Scheme. - Jacob Matthews; Robert Bruce Findler (J. Funct. Program., 2008)

Blame for all. - Amal Ahmed 001; Robert Bruce Findler; Jacob Matthews; Philip Wadler (STOP@ECOOP, 2009)

Operational semantics for multi-language programs. - Jacob Matthews; Robert Bruce Findler (ACM Trans. Program. Lang. Syst., 2009)

Revised6 Report on the Algorithmic Language Scheme. - Michael Sperber; R. Kent Dybvig; Matthew Flatt; Anton van Straaten; Robert Bruce Findler; Jacob Matthews (Cambridge University Press, 2010)

Semantics or spelling? Probing contextual word embeddings with orthographic noise. - Jacob Matthews; John Starr; Marten van Schijndel (ACL (Findings), 2024)

Disentangling language change: sparse autoencoders quantify the semantic evolution of indigeneity in French. - Jacob Matthews; Laurent Dubreuil; Imane Terhmina; Yunci Sun; Matthew Wilkens; Marten van Schijndel (NAACL (Long Papers), 2025)