<--- Back to Details
First PageDocument Content
Software engineering / Computer programming / Computing / Functional languages / Data types / Query languages / Knowledge representation / Functional programming / XQuery / Recursive data type / Tree / Well-formed formula
Date: 2015-12-08 05:48:48
Software engineering
Computer programming
Computing
Functional languages
Data types
Query languages
Knowledge representation
Functional programming
XQuery
Recursive data type
Tree
Well-formed formula

XQuery and Static Typing: Tackling the Problem of Backward Axes Pierre Genevès Nils Gesbert

Add to Reading List

Source URL: tyrex.inria.fr

Download Document from Source Website

File Size: 745,20 KB

Share Document on Facebook

Similar Documents

Functional Programming for Compiling and Decompiling Computer-Aided Design

Functional Programming for Compiling and Decompiling Computer-Aided Design

DocID: 1xW3j - View Document

Informatics 1 Functional Programming Lectures 1 and 2 Monday 24–Tuesday 25 September 2012 Introduction, Functions Don Sannella

Informatics 1 Functional Programming Lectures 1 and 2 Monday 24–Tuesday 25 September 2012 Introduction, Functions Don Sannella

DocID: 1xVWA - View Document

Grattage, Jonathan JamesA functional quantum programming language. PhD thesis, University of Nottingham. Access from the University of Nottingham repository: http://eprints.nottingham.ac.ukthesis.pdf Cop

Grattage, Jonathan JamesA functional quantum programming language. PhD thesis, University of Nottingham. Access from the University of Nottingham repository: http://eprints.nottingham.ac.ukthesis.pdf Cop

DocID: 1xVW1 - View Document

Functional Reactive Programming, Refactored Ivan Perez Manuel B¨arenz  Henrik Nilsson

Functional Reactive Programming, Refactored Ivan Perez Manuel B¨arenz Henrik Nilsson

DocID: 1xVxz - View Document

Synthesis of Differentiable Functional Programs for Lifelong Learning  Lazar Valkov 1 Dipak Chaudhari 2 Akash Srivastava 1 Charles Sutton 1 Swarat Chaudhuri 2 1. Summary Differentiable programming languages (Paszke et al

Synthesis of Differentiable Functional Programs for Lifelong Learning Lazar Valkov 1 Dipak Chaudhari 2 Akash Srivastava 1 Charles Sutton 1 Swarat Chaudhuri 2 1. Summary Differentiable programming languages (Paszke et al

DocID: 1xVxf - View Document