Sandra Maria Mendes Alves


AuthID: R-000-G8E

Confirmed Publications: 55



51
TITLE: The power of linear functions
AUTHORS: Alves, S ; Fernández, M; Florido, M ; Mackie, I;
PUBLISHED: 2006, SOURCE: 20th International Workshop on Computer Science Logic/15th Annual Conference of the European-Association-for-Computer-Science-Logic in COMPUTER SCIENCE LOGIC, PROCEEDINGS, VOLUME: 4207
INDEXED IN: Scopus WOS DBLP CrossRef: 9
IN MY: ORCID
52
TITLE: Weak linearization of the lambda calculus  Full Text
AUTHORS: Alves, S ; Florido, M ;
PUBLISHED: 2005, SOURCE: 2nd Annual Meeting on Applied Semantics in THEORETICAL COMPUTER SCIENCE, VOLUME: 342, ISSUE: 1
INDEXED IN: Scopus WOS DBLP CrossRef: 7
IN MY: ORCID
53
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
54
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
55
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
Page 6 of 6. Total results: 55.

footer slogan

Useful Links

Get Help

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