Browsing Mathematics (Faculty of) by Subject "System F"

Now showing items 1-2 of 2

Direct and Expressive Type Inference for the Rank 2 Fragment of System F

Lushman, Bradley (University of Waterloo, 2007-09-20)

This thesis develops a semiunification-based type inference procedure for the rank 2 fragment of System F, with an emphasis on practical considerations for the adoption of such a procedure into existing programming ...
Encoding XQuery using <em>System F</em>

Xia, Yun (University of Waterloo, 2005)

Since the World Wide Web Consortium (W3C) has recommended XQuery as the standard XML query language, the interest in using existing relational technology to query the XML data has dramatically increased. The most significant ...