61
TITLE: Type-based XML processing in logic programming
AUTHORS: Coelho, J ; Florido, M ;
PUBLISHED: 2003, SOURCE: 5th International Symposium on Practical Aspects of Declarative Languages in PRACTICAL ASPECTS OF DECLARATIVE LANGUAGES, PROCEEDINGS, VOLUME: 2562
INDEXED IN: Scopus WOS DBLP
IN MY: ORCID | DBLP
62
TITLE: On the Relation between Rank 2 Intersection Types and Simple Types PDF
AUTHORS: Sandra Alves ; Mário Florido ;
PUBLISHED: 2002, SOURCE: AGP 2002: Proceedings of the Joint Conference on Declarative Programming, APPIA-GULP-PRODE, Madrid, Spain, September 16-18, 2002.
INDEXED IN: DBLP
IN MY: ORCID | DBLP
63
TITLE: Type inference using constraint handling rules
AUTHORS: Alves, S ; Florido, M ;
PUBLISHED: 2002, SOURCE: WFLP 2002, International Workshop on Functional and (Constraint) Logic Programming, Selected Papers in Electronic Notes in Theoretical Computer Science, VOLUME: 64
INDEXED IN: Scopus DBLP CrossRef: 3
IN MY: ORCID | DBLP
Page 7 of 7. Total results: 63.