Jacob Matthews

Publication Activity (10 Years)

Years Active: 2004-2024
Publications (10 Years): 1

Top Topics

Spelling Correction

Top Venues

Publications

Jacob Matthews, John Starr, Marten van Schijndel
Semantics or spelling? Probing contextual word embeddings with orthographic noise. ACL (Findings) (2024)
Amal Ahmed, Robert Bruce Findler, Jacob Matthews, Philip Wadler
Blame for all. STOP@ECOOP (2009)
Jacob Matthews, Robert Bruce Findler
Operational semantics for multi-language programs. ACM Trans. Program. Lang. Syst. 31 (3) (2009)
Jacob Matthews, Amal Ahmed
Parametric Polymorphism through Run-Time Sealing or, Theorems for Low, Low Prices!. ESOP (2008)
Jacob Matthews, Robert Bruce Findler
An operational semantics for Scheme. J. Funct. Program. 18 (1) (2008)
Jacob Matthews, Robert Bruce Findler
Operational semantics for multi-language programs. POPL (2007)
Arjun Guha, Jacob Matthews, Robert Bruce Findler, Shriram Krishnamurthi
Relationally-parametric polymorphic contracts. DLS (2007)
Jacob Matthews, Robert Bruce Findler, Paul T. Graunke, Shriram Krishnamurthi, Matthias Felleisen
Automatically Restructuring Programs for the Web. Autom. Softw. Eng. 11 (4) (2004)
Jacob Matthews, Robert Bruce Findler, Matthew Flatt, Matthias Felleisen
A Visual Environment for Developing Context-Sensitive Term Rewriting Systems. RTA (2004)