<--- Back to Details
| 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 |
|
| 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ïda