Skip to main content
Princeton Engineering
Magnifying Glass
Princeton Computer Science
CS GUIDE

Main navigation

  • Academics
    • Undergraduate Program
    • Graduate Program
    • Courses
  • Research
    • Research Areas
    • Technical Reports
    • Computing Facilities
  • People
    • Faculty
    • Researchers
    • Technical Staff
    • Administrative Staff
    • Graduate Students
    • Undergraduate Students
    • Graduate Alumni
  • News & Events
    • Events
    • News
  • Diversity & Outreach
    • Climate and Inclusion Committee
    • REU on AI and Machine Learning
    • Resources for students
    • Outreach initiatives
    • Resources for faculty and staff

Reports for Author "Mandelbaum, Yitzhak"

  • TR-656-02 - An Effective Theory of Type Refinements (2002-12-00)
    Harper, Robert / Walker, David / Mandelbaum, Yitzhak
  • TR-695-04 - Dynamic Typing with Dependent Types (2004-04-00)
    Ou, Xinming / Walker, David / Mandelbaum, Yitzhak / Tan, Gang
  • TR-736-05 - PADS/T: A Language for Describing and Transforming Ad Hoc Data (2005-09-00)
    Walker, David / Fisher, Kathleen / Mandelbaum, Yitzhak / Fernandez, Mary
  • TR-761-06 - PADS/ML: A Functional Data Description Language (2006-07-00)
    Gleyzer, Artem / Walker, David / Fisher, Kathleen / Mandelbaum, Yitzhak / Fernandez, Mary
  • TR-764-06 - The Theory and Practice of Data Description (thesis) (2006-08-00)
    Mandelbaum, Yitzhak
  • TR-826-08 - Language Support for Processing Ad Hoc Data (2008-07-00)
    Jia, Limin / Pai, Vivek / Walker, David / Dantas, Daniel S. / Zhu, Kenny Q. / Fisher, Kathleen / Mandelbaum, Yitzhak
Princeton Shield Princeton University
Department of Computer Science
Visit Us
35 Olden Street
Princeton, NJ 08544
Contact Us
Jobs
Princeton Engineering
© 2025 The Trustees of Princeton University | Privacy | Accessibility
Connect with us
Facebook
X.com
LinkedIn
YouTube