-
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