Back to Results
First PageMeta Content
Software 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
Add to Reading List

Document Date: 2014-10-07 08:54:38


Open Document

File Size: 457,37 KB

Share Result on Facebook