Jacob Matthews (Selection)

List of publications from the DBLP Bibliography Server - FAQ

Ask others: ACM DL/Guide -

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

5 Jacob Matthews, Robert Bruce Findler: An operational semantics for Scheme. J. Funct. Program. 18(1): 47-86 (2008)

4 Arjun Guha, Jacob Matthews, Robert Bruce Findler, Shriram Krishnamurthi: Relationally-parametric polymorphic contracts. DLS 2007: 29-40

3 Jacob Matthews, Robert Bruce Findler: Operational semantics for multi-language programs. POPL 2007: 3-10

2 Jacob Matthews, Robert Bruce Findler, Matthew Flatt, Matthias Felleisen: A Visual Environment for Developing Context-Sensitive Term Rewriting Systems. RTA 2004: 301-311

1 Jacob Matthews, Robert Bruce Findler, Paul T. Graunke, Shriram Krishnamurthi, Matthias Felleisen: Automatically Restructuring Programs for the Web. Autom. Softw. Eng. 11(4): 337-364 (2004)

Selection of 6 from 7 records - Jacob Matthews has 7 coauthors

7		Jacob Matthews, Robert Bruce Findler: Operational semantics for multi-language programs. ACM Trans. Program. Lang. Syst. 31(3): (2009)
5		Jacob Matthews, Robert Bruce Findler: An operational semantics for Scheme. J. Funct. Program. 18(1): 47-86 (2008)
4		Arjun Guha, Jacob Matthews, Robert Bruce Findler, Shriram Krishnamurthi: Relationally-parametric polymorphic contracts. DLS 2007: 29-40
3		Jacob Matthews, Robert Bruce Findler: Operational semantics for multi-language programs. POPL 2007: 3-10
2		Jacob Matthews, Robert Bruce Findler, Matthew Flatt, Matthias Felleisen: A Visual Environment for Developing Context-Sensitive Term Rewriting Systems. RTA 2004: 301-311
1		Jacob Matthews, Robert Bruce Findler, Paul T. Graunke, Shriram Krishnamurthi, Matthias Felleisen: Automatically Restructuring Programs for the Web. Autom. Softw. Eng. 11(4): 337-364 (2004)