Types for REWERSE reasoning and query languages I3-D4
Abstract
This report present proposals for a type system for a subset of REWERSE languages. We study two approaches to such a type system, which are based on descriptive and prescriptive typing. As an example we use XML query language Xcerpt.
Origin : Files produced by the author(s)