First Page | Document Content | |
---|---|---|
Date: 2014-10-07 08:54:38Software engineering Logic Type theory Computer programming Data types Functional languages Recursive data type Monad Type inference FO XQuery Inference | XQTC: A Static Type-Checker for XQuery Using Backward Type Inference Pierre Genevès Nabil LayaïdaDocument is deleted from original location. Download Document from Web Archive |