2008 |
9 | EE | Mary 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 |
2007 |
8 | EE | Yitzhak Mandelbaum,
Kathleen Fisher,
David Walker,
Mary F. Fernández,
Artem Gleyzer:
PADS/ML: a functional data description language.
POPL 2007: 77-83 |
2006 |
7 | | Mary F. Fernández,
Kathleen Fisher,
Robert Gruber,
Yitzhak Mandelbaum:
PADX: Querying Large-scale Ad Hoc Data with XQuery.
PLAN-X 2006: 24-35 |
6 | | Mark Daly,
Mary F. Fernández,
Kathleen Fisher,
Yitzhak Mandelbaum,
David Walker:
LAUNCHPADS: A System for Processing Ad Hoc Data.
PLAN-X 2006: 90-91 |
5 | EE | Kathleen Fisher,
Yitzhak Mandelbaum,
David Walker:
The next 700 data description languages.
POPL 2006: 2-15 |
4 | EE | Mark Daly,
Yitzhak Mandelbaum,
David Walker,
Mary F. Fernández,
Kathleen Fisher,
Robert Gruber,
Xuan Zheng:
PADS: an end-to-end system for processing ad hoc data.
SIGMOD Conference 2006: 727-729 |
2004 |
3 | | Xinming Ou,
Gang Tan,
Yitzhak Mandelbaum,
David Walker:
Dynamic Typing with Dependent Types.
IFIP TCS 2004: 437-450 |
2003 |
2 | EE | Yitzhak Mandelbaum,
David Walker,
Robert Harper:
An effective theory of type refinements.
ICFP 2003: 213-225 |
2001 |
1 | | Sanjeev Kumar,
Yitzhak Mandelbaum,
Xiang Yu,
Kai Li:
ESP: A Language for Programmable Devices.
PLDI 2001: 309-320 |