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

J. Nathan Foster

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

2008
13EEJ. Nathan Foster, Alexandre Pilkiewicz, Benjamin C. Pierce: Quotient lenses. ICFP 2008: 383-396
12EEMary F. Fernández, Kathleen Fisher, J. Nathan Foster, Michael Greenberg, Yitzhak Mandelbaum: A Generic Programming Toolkit for PADS/ML: First-Class Upgrades for Third-Party Developers. PADL 2008: 133-149
11EEJ. Nathan Foster, Ravi Konuru, Jérôme Siméon, Lionel Villard: An Algebraic Approach to View Maintenance for XQuery. PLAN-X 2008
10EEJ. Nathan Foster, Todd J. Green, Val Tannen: Annotated XML: queries and provenance. PODS 2008: 271-280
9EEAaron Bohannon, J. Nathan Foster, Benjamin C. Pierce, Alexandre Pilkiewicz, Alan Schmitt: Boomerang: resourceful lenses for string data. POPL 2008: 407-419
2007
8EEJ. Nathan Foster, Benjamin C. Pierce, Alan Schmitt: A Logic Your Typechecker Can Count On: Unordered Tree Types in Practice. PLAN-X 2007: 80-90
7EEJ. Nathan Foster, Michael B. Greenwald, Jonathan T. Moore, Benjamin C. Pierce, Alan Schmitt: Combinators for bidirectional tree transformations: A linguistic approach to the view-update problem. ACM Trans. Program. Lang. Syst. 29(3): (2007)
6EEJ. Nathan Foster, Grigoris Karvounarakis: Provenance and Data Synchronization. IEEE Data Eng. Bull. 30(4): 13-21 (2007)
5EEJ. Nathan Foster, Michael B. Greenwald, Christian Kirkegaard, Benjamin C. Pierce, Alan Schmitt: Exploiting schemas in data synchronization. J. Comput. Syst. Sci. 73(4): 669-689 (2007)
2005
4EEJ. Nathan Foster, Michael B. Greenwald, Christian Kirkegaard, Benjamin C. Pierce, Alan Schmitt: Exploiting Schemas in Data Synchronization. DBPL 2005: 42-57
3EEJ. Nathan Foster, Michael B. Greenwald, Jonathan T. Moore, Benjamin C. Pierce, Alan Schmitt: Combinators for bi-directional tree transformations: a linguistic approach to the view update problem. POPL 2005: 233-246
2EEBrian E. Aydemir, Aaron Bohannon, Matthew Fairbairn, J. Nathan Foster, Benjamin C. Pierce, Peter Sewell, Dimitrios Vytiniotis, Geoffrey Washburn, Stephanie Weirich, Steve Zdancewic: Mechanized Metatheory for the Masses: The PoplMark Challenge. TPHOLs 2005: 50-65
2004
1EEKim B. Bruce, J. Nathan Foster: LOOJ: Weaving LOOM into Java. ECOOP 2004: 389-413

Coauthor Index

1Brian E. Aydemir [2]
2Aaron Bohannon [2] [9]
3Kim B. Bruce [1]
4Matthew Fairbairn [2]
5Mary F. Fernández (Mary F. Fernandez) [12]
6Kathleen Fisher [12]
7Todd J. Green [10]
8Michael Greenberg [12]
9Michael B. Greenwald (Michael Greenwald) [3] [4] [5] [7]
10Gregory Karvounarakis (Grigoris Karvounarakis) [6]
11Christian Kirkegaard [4] [5]
12Ravi Konuru [11]
13Yitzhak Mandelbaum [12]
14Jonathan T. Moore [3] [7]
15Benjamin C. Pierce [2] [3] [4] [5] [7] [8] [9] [13]
16Alexandre Pilkiewicz [9] [13]
17Alan Schmitt [3] [4] [5] [7] [8] [9]
18Peter Sewell [2]
19Jérôme Siméon [11]
20Val Tannen (Valeriu Breazu, Val Breazu-Tannen) [10]
21Lionel Villard [11]
22Dimitrios Vytiniotis [2]
23Geoffrey Washburn [2]
24Stephanie Weirich [2]
25Steve Zdancewic [2]

Colors in the list of coauthors

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