Type-safe Computation with Heterogeneous Data (2007)


Download Links

by Freeman Yufei Huang
Citations:2 - 2 self

Active Bibliography

Survey over Existing Query and Transformation Languages Revision 2.0 – Reviewers Benedikt Linse, Jakob Henriksson, Tim Furche, François Bry, James Bailey, Sebastian Schaffert, Benedikt Linse, Renzo Orsini, Michael Krauss, Oliver Bolzer
11 Survey over existing query and transformation languages – Tim Furche, François Bry, Sebastian Schaffert, Renzo Orsini, Ian Horrocks, Michael Kraus , Oliver Bolzer - 2004
The Semantic Web Vision – James Bailey, François Bry, Tim Furche, Sebastian Schaffert
702 A Framework for Defining Logics – Robert Harper , Furio Honsell, Gordon Plotkin - 1993
737 Data Integration: A Theoretical Perspective – Maurizio Lenzerini - 2002
510 DataGuides: Enabling Query Formulation and Optimization in Semistructured Databases – Roy Goldman, Jennifer Widom - 1997
484 From SHIQ and RDF to OWL: The Making of a Web Ontology Language – Ian Horrocks, Peter F. Patel-Schneider, Frank Van Harmelen - 2003
460 Answering Queries Using Views: A Survey – Alon Y. Halevy - 2000
418 CIL: Intermediate language and tools for analysis and transformation of C programs – George C. Necula, Scott Mcpeak, Shree P. Rahul, Westley Weimer - 2002