Jacob Matthews

According to our database, Jacob Matthews authored at least 8 papers between 2004 and 2010.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2010

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, ISBN: 978-0-521-19399-3, 2010

2009

Operational semantics for multi-language programs.

Jacob Matthews, Robert Bruce Findler

ACM Trans. Program. Lang. Syst., 2009

Blame for all.

Amal Ahmed, Robert Bruce Findler, Jacob Matthews, Philip Wadler

Proceedings of the Proceedings for the 1st workshop on Script to Program Evolution, 2009

2008

An operational semantics for Scheme.

Jacob Matthews, Robert Bruce Findler

J. Funct. Program., 2008

Parametric Polymorphism through Run-Time Sealing or, Theorems for Low, Low Prices!.

Jacob Matthews, Amal Ahmed

Proceedings of the Programming Languages and Systems, 2008

2007

Relationally-parametric polymorphic contracts.

Arjun Guha, Jacob Matthews, Robert Bruce Findler, Shriram Krishnamurthi

Proceedings of the 2007 Symposium on Dynamic Languages, 2007

2004

Automatically Restructuring Programs for the Web.

Jacob Matthews, Robert Bruce Findler, Paul T. Graunke, Shriram Krishnamurthi, Matthias Felleisen

Autom. Softw. Eng., 2004

A Visual Environment for Developing Context-Sensitive Term Rewriting Systems.

Jacob Matthews, Robert Bruce Findler, Matthew Flatt, Matthias Felleisen

Proceedings of the Rewriting Techniques and Applications, 15th International Conference, 2004