Title: Type-Safe Programming for the Semantic Web