António Mário da Silva Marcos Florido


AuthID: R-000-2CH

Confirmed Publications: 66



61
TITLE: CLP(Flex): Constraint logic programming applied to XML processing
AUTHORS: Coelho, J ; Florido, M ;
PUBLISHED: 2004, SOURCE: On the Move Confederated International Workshop and Conference in ON THE MOVE TO MEANINGFUL INTERNET SYSTEMS 2004: COOPLS, DOA, AND ODBASE, PT 2, PROCEEDINGS, VOLUME: 3291
INDEXED IN: Scopus WOS DBLP CrossRef: 14
IN MY: ORCID | DBLP | CIÊNCIAVITAE
62
TITLE: Linearization of the lambda-calculus and its relation with intersection type systems
AUTHORS: Florido, M ; Damas, L ;
PUBLISHED: 2004, SOURCE: JOURNAL OF FUNCTIONAL PROGRAMMING, VOLUME: 14, ISSUE: 5
INDEXED IN: Scopus WOS DBLP CrossRef: 8
IN MY: ORCID | DBLP | CIÊNCIAVITAE
63
TITLE: Linearization by program transformation  Full Text
AUTHORS: Alves, S ; Florido, M ;
PUBLISHED: 2003, SOURCE: 13th International Symposium on Logic Based Program Synthesis and Transformation in LOGIC BASED PROGRAM SYNTHESIS AND TRANSFORMATION, VOLUME: 3018
INDEXED IN: Scopus WOS DBLP CrossRef: 1
IN MY: ORCID | DBLP | CIÊNCIAVITAE
64
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 CrossRef: 5
IN MY: ORCID | DBLP | CIÊNCIAVITAE
65
TITLE: On the Relation between Rank 2 Intersection Types and Simple Types
AUTHORS: Sandra Alves ; Mário Florido ;
PUBLISHED: 2002, SOURCE: APPIA-GULP-PRODE
INDEXED IN: DBLP
IN MY: ORCID | DBLP | CIÊNCIAVITAE
66
TITLE: Type Inference using Constraint Handling Rules
AUTHORS: Sandra Alves ; Mário Florido ;
PUBLISHED: 2001, SOURCE: WFLP, VOLUME: 64
INDEXED IN: Scopus DBLP CrossRef: 3
IN MY: ORCID | DBLP | CIÊNCIAVITAE
Page 7 of 7. Total results: 66.

footer slogan

Useful Links

Get Help

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