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)

Software

Current and former PhD Students

Current Events


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: Email Address