Reports for Author "Mandelbaum, Yitzhak" | Computer Science Department at Princeton University

TR-826-08 - Language Support for Processing Ad Hoc Data (2008)
Authors: Zhu, Kenny Q. / Dantas, Daniel S. / Fisher, Kathleen / Jia, Limin / Mandelbaum, Yitzhak / Pai, Vivek / Walker, David
TR-764-06 - The Theory and Practice of Data Description (thesis) (2006)
Authors: Mandelbaum, Yitzhak
TR-761-06 - PADS/ML: A Functional Data Description Language (2006)
Authors: Mandelbaum, Yitzhak / Fisher, Kathleen / Walker, David / Fernandez, Mary / Gleyzer, Artem
TR-736-05 - PADS/T: A Language for Describing and Transforming Ad Hoc Data (2005)
Authors: Fernandez, Mary / Fisher, Kathleen / Mandelbaum, Yitzhak / Walker, David
TR-695-04 - Dynamic Typing with Dependent Types (2004)
Authors: Ou, Xinming / Tan, Gang / Mandelbaum, Yitzhak / Walker, David
TR-656-02 - An Effective Theory of Type Refinements (2002)
Authors: Mandelbaum, Yitzhak / Walker, David / Harper, Robert