Mário Florido
Computer Science Department, Faculty of
Science of the University of Porto.
Research
Lambda-Calculus, Declarative Programming, Type Systems, Program Analysis.
Research Projects
Recent Publications (see also DBLP)
- Sandra Alves, Maribel Fernandez, Mário Florido and Ian
Mackie. Goedel's System T Revisited. Theoretical Computer Science, to appear, 2010.
- Jorge Coelho, Mário Florido and Temur Kutsia. Collaborative Schema Construction using Regular Sequence Types. IEEE International Conference on Information Reuse and Integration, IRI 2009. IEEE Computer Society Press, 2009.
- Sandra Alves, Mário Florido, Ian Mackie and François-Régis Sinot. Minimality in a Linear Calculus with Iteration. The 7th International Workshop
on Reduction Strategies in Rewriting and Programming (WRS), Electr. Notes Theor. Comput. Sci. 204: 163-179, 2008.
- Sandra Alves, Maribel Fernandez, Mário Florido and Ian
Mackie. Linear Recursive Functions.
In Rewriting, Computation and Proof, Essays dedicated to Jean-Pierre Jouannaud on the occasion of his 60th birthday. Springer Verlag, 2007.
- Sandra Alves, Maribel Fernandez, Mário Florido and Ian
Mackie. Iterator Types. Foundations of Software Science and Computation Structures
(FOSSACS 2007), Springer LNCS 4423, 2007.
- Sandra Alves, Maribel Fernández, Mário Florido and Ian Mackie. Very Primitive Recursive Functions. Computability in Europe (CiE 2007), Sienna, Italy, 2007.
- Sandra Alves, Maribel Fernandez, Mário Florido and Ian
Mackie. System T Revisited (Abstract).
Workshop on Linear Logic, Ludics, Implicit Complexity and Operator Algebras: Dedicated to Jean-Yves Girard on his 60th birthday. Siena, Italy, 2007.
- Jorge Coelho and Mário Florido. XCentric: A Logic Programming Language for XML Processing. ACM SIGPLAN Workshop on Programming Language Technologies for XML (PLAN-X 2007), Nice, 2007.
- Jorge Coelho and Mário Florido. Type-based Static and Dynamic Website Verification. Proc. of the 2nd International Conference on Internet and Web Applications and Services (ICIW'07), IEEE Computer Society Press, 2007.
- Jorge Coelho and Mário Florido. XCentric: Logic Programming for XML
Processing. 9th ACM International Workshop on Web
Information and Data Management. ACM Press, 2007.
- Jorge Coelho, Mário Florido and Temur Kutsia. Sequence
Disunification and its Application in Collaborative Schema Construction. WISE 2007 Workshops. Lecture Notes in Computer
Science 4832, Springer Verlag 2007.
- Hugo Simoes, Kevin Hammond, Mário Florido and Pedro Vasconcelos. Using Intersection Types for Cost-analysis of Higher-Order Polymorphic Functional Programs. Types for Proofs and Programs, TYPES
2006 (Revised Selected Papers), LNCS 4502, Springer Verlag 2007.
Software
Current and former PhD Students
Current Events
- co-Chair and PC Member: LINEARITY 2009 First International Workshop on Linearity.
- Organizing Committee: CSL 2009 18th Conference on Computer Science Logic.
- PC Member: WWV 2009 5th International Workshop on Automated Specification and
Verification of Web Systems.
- PC Member: CoRTA 2009 Compiler Related Technologies and Applications
.
Address
Universidade do Porto
Faculdade de Ciências
Departamento de Ciência de Computadores
Rua do Campo Alegre, 1021/1055
4169-007 Porto, Portugal
Phone:
(+351) 220 402 914
Fax:
(+351) 220 402 950
Email:
