António Mário da Silva Marcos Florido


AuthID: R-000-2CH

Confirmed Publications: 64



61
TITLE: Linearization by program transformation
AUTHORS: Alves, S ; Florido, M ;
PUBLISHED: 2003, SOURCE: 13th International Symposium on Logic Based Program Synthesis and Transformation in LOGIC BASED PROGRAM SYNTHESIS AND TRNSFORMATION, VOLUME: 3018
INDEXED IN: Scopus WOS DBLP CrossRef: 1
IN MY: ORCID | DBLP | CIÊNCIAVITAE
62
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 | CIÊNCIAVITAE
63
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 | CIÊNCIAVITAE
64
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 | CIÊNCIAVITAE
Page 7 of 7. Total results: 64.

A place for researchers and their institutions

Useful Links

Get Help

© 2024 CRACS & Inesc TEC - All Rights Reserved Privacy Policy | Terms of Service