共 50 条
- [32] Querying XML with constraints IC'2001: PROCEEDINGS OF THE INTERNATIONAL CONFERENCE ON INTERNET COMPUTING, VOLS I AND II, 2001, : 171 - 177
- [33] Typed Iterators for XML ICFP'08: PROCEEDINGS OF THE 2008 SIGPLAN INTERNATIONAL CONFERENCE ON FUNCTIONAL PROGRAMMING, 2008, : 15 - 26
- [36] Querying XML Databases XXII INTERNATIONAL CONFERENCE OF THE CHILEAN COMPUTER SCIENCE SOCIETY, PROCEEDINGS, 2002, : 142 - 150
- [38] Improving computations in a typed functional logic language ALGEBRAIC METHODOLOGY AND SOFTWARE TECHNOLOGY, 1999, 1548 : 438 - 454
- [39] PROGRAM BIFURCATION FOR A POLYMORPHICALLY TYPED FUNCTIONAL LANGUAGE SIGPLAN NOTICES, 1991, 26 (09): : 142 - 153
- [40] CoreFun: A Typed Functional Reversible Core Language REVERSIBLE COMPUTATION, RC 2018, 2018, 11106 : 304 - 321