Deprecated: The each() function is deprecated. This message will be suppressed on further calls in /home/zhenxiangba/zhenxiangba.com/public_html/phproxy-improved-master/index.php on line 456 Mário Florido
Mário Florido
Associate Professor at the
Computer Science Department, Faculty of
Science - University of Porto.
Research in Computer Science
Type Theory, Lambda-Calculus, Functional Programming, Rewriting, Static Analysis.
V. Rodrigues, B. Akesson, M. Florido, S.M. de Sousa A Declarative Compositional Timing Analysis for Multicores Using the Latency-Rate Abstraction. Proc. of the 15th Int. Symposium on
Practical Aspects of Declarative Languages, PADL 2013.
P. Vasconcelos, H. Simoes, M. Florido, S. Jost, K. Hammond Automatic Amortised Analysis of Dynamic Memory Allocation for Lazy Functional Programs. Proc. of the 17th ACM SIGPLAN International Conference on Functional Programming, ICFP 2012.
S. Alves, M. Fernandez, M. Florido, I. Mackie. Linearity and recursion in a typed Lambda-calculus. Proc. of the 13th Int. ACM Symposium on
Principles and Practice of Declarative Programming, PPDP 2011.
V. Rodrigues, S. M. de Sousa, J. P. Pedroso, M. Florido. Certifying Execution Time. Proc. of the 2nd Int. Workshop on Foundational and Practical Aspects of Resource Analysis, FOPARA 2011.
V. Rodrigues, M. Florido, S. M. de Sousa. A Functional Approach to Worst-Case Execution Time Analysis. 20th Int. Workshop on
Functional and (Constraint) Logic Programming, WFLP 2011.
Sandra Alves, Maribel Fernandez, Mário Florido and Ian
Mackie. Goedel's System T Revisited. Theoretical Computer Science (TCS), 411, 2010.
S. Alves, M. Fernandez, M. Florido, I. Mackie. Linearity and Iterator Types for Godel's System T.
International Journal on Higher-Order and Symbolic Computation (HOSC) 23(1), Springer, 2010.
Jorge Coelho, Besik Dundua, Mário Florido and Temur Kutsia. A Rule-Based Approcah to XML Processing and Web Reasoning. Web reasoning and Rule Systems (RR 2010). Lecture Notes in Computer Science, Springer Verlag, 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.