Horatiu Cirstea, Emmanuel Coquery, Włodzimierz Drabent, François Fages, Claude Kirchner, Luigi Liquori, Benjamin Wack, Artur Wilk:
Włodzimierz Drabent, Artur Wilk (editors):
Types for REWERSE reasoning and query languages.
Abstract
This report presents proposals for a type system for a subset ot REWERSE languages. We study two approaches to such a type system, which are based on descriptive and prescriptive typing. As am example rule language we use XML query language Xcerpt.
URL:
http://rewerse.net/publications/rewerse-publications.html#REWERSE-DEL-2005-I3-D4
@deliverable{REWERSE-DEL-2005-I3-D4, url = {http://rewerse.net/publications/rewerse-publications.html#REWERSE-DEL-2005-I3-D4} }