Sandra Maria Mendes Alves


AuthID: R-000-G8E

Confirmed Publications: 49



41
TITLE: Minimality in a Linear Calculus with Iteration
AUTHORS: Alves, S ; Florido, M ; Mackie, I; Sinot, FR;
PUBLISHED: 2008, SOURCE: Electronic Notes in Theoretical Computer Science, VOLUME: 204, ISSUE: C
INDEXED IN: Scopus DBLP CrossRef
IN MY: ORCID | DBLP
42
TITLE: Iterator types
AUTHORS: Sandra Alves ; Maribel Fernndez; Mario Florido ; Ian Mackie;
PUBLISHED: 2007, SOURCE: 10th International Conference on Fundamental Approaches to Software Engineering in Foundations of Software Science and Computational Structures, Proceedings, VOLUME: 4423
INDEXED IN: Scopus WOS DBLP CrossRef: 2
IN MY: ORCID | ResearcherID | DBLP
43
TITLE: Linear recursive functions
AUTHORS: Sandra Alves ; Maribel Fernandez; Mario Florido ; Ian Mackie;
PUBLISHED: 2007, SOURCE: Festschrift held in Honor of Jean-Pierre Jouannauds 60th Birthday on Rewriting, Computation and Proof in Rewriting, Computation and Proof: ESSAYS DEDICATED TO JEAN-PIERRE JOUANNAUD ON THE OCCASION OF HIS 60TH BIRTHDAY, VOLUME: 4600
INDEXED IN: Scopus WOS DBLP CrossRef: 2
IN MY: ORCID | ResearcherID | DBLP
44
TITLE: The Power of Closed Reduction Strategies
AUTHORS: Alves, S ; Fernandez, M; Florido, M ; Mackie, I;
PUBLISHED: 2007, SOURCE: Electronic Notes in Theoretical Computer Science, VOLUME: 174, ISSUE: 10 SPEC. ISS.
INDEXED IN: Scopus DBLP CrossRef: 3
IN MY: ORCID | DBLP
45
TITLE: The power of linear functions
AUTHORS: Sandra Alves ; Maribel Fernandez; Mirio Florido ; Ian Mackie;
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 | ResearcherID | DBLP
46
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 | ResearcherID | DBLP
47
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 | ResearcherID | DBLP
48
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
49
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 5 of 5. Total results: 49.

A place for researchers and their institutions

Useful Links

Get Help

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