dblp.uni-trier.dewww.uni-trier.de

Jacob Matthews

List of publications from the DBLP Bibliography Server - FAQ
Coauthor Index - Ask others: ACM DL/Guide - CiteSeer - CSB - Google - MSN - Yahoo

2009
7EEJacob Matthews, Robert Bruce Findler: Operational semantics for multi-language programs. ACM Trans. Program. Lang. Syst. 31(3): (2009)
2008
6EEJacob Matthews, Amal Ahmed: Parametric Polymorphism through Run-Time Sealing or, Theorems for Low, Low Prices!. ESOP 2008: 16-31
5EEJacob Matthews, Robert Bruce Findler: An operational semantics for Scheme. J. Funct. Program. 18(1): 47-86 (2008)
2007
4EEArjun Guha, Jacob Matthews, Robert Bruce Findler, Shriram Krishnamurthi: Relationally-parametric polymorphic contracts. DLS 2007: 29-40
3EEJacob Matthews, Robert Bruce Findler: Operational semantics for multi-language programs. POPL 2007: 3-10
2004
2EEJacob Matthews, Robert Bruce Findler, Matthew Flatt, Matthias Felleisen: A Visual Environment for Developing Context-Sensitive Term Rewriting Systems. RTA 2004: 301-311
1EEJacob 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)

Coauthor Index

1Amal Ahmed (Amal J. Ahmed) [6]
2Matthias Felleisen [1] [2]
3Robert Bruce Findler [1] [2] [3] [4] [5] [7]
4Matthew Flatt [2]
5Paul T. Graunke [1]
6Arjun Guha [4]
7Shriram Krishnamurthi [1] [4]

Colors in the list of coauthors

Copyright © Sun May 17 03:24:02 2009 by Michael Ley (ley@uni-trier.de)