Mário Florido
Mário Florido
Universidade do Porto
Verified email at
Cited by
Cited by
Automatic amortised analysis of dynamic memory allocation for lazy functional programs
H Simoes, P Vasconcelos, M Florido, S Jost, K Hammond
Proceedings of the 17th ACM SIGPLAN international conference on Functional …, 2012
CLP (Flex): Constraint logic programming applied to XML processing
J Coelho, M Florido
OTM Confederated International Conferences" On the Move to Meaningful …, 2004
PrologCheck–property-based testing in prolog
C Amaral, M Florido, V Santos Costa
International Symposium on Functional and Logic Programming, 1-17, 2014
Type-based cost analysis for lazy functional languages
S Jost, P Vasconcelos, M Florido, K Hammond
Journal of Automated Reasoning 59 (1), 87-120, 2017
Gödel’s system T revisited
S Alves, M Fernández, M Florido, I Mackie
Theoretical Computer Science 411 (11-13), 1484-1500, 2010
The power of linear functions
S Alves, M Fernández, M Florido, I Mackie
International Workshop on Computer Science Logic, 119-134, 2006
Type-based allocation analysis for co-recursion in lazy functional languages
P Vasconcelos, S Jost, M Florido, K Hammond
European Symposium on Programming Languages and Systems, 787-811, 2015
XCentric: logic programming for XML processing
J Coelho, M Florido
Proceedings of the 9th annual ACM international workshop on Web information …, 2007
Type-based XML processing in logic programming
J Coelho, M Florido
International symposium on practical aspects of declarative languages, 273-285, 2003
Weak linearization of the lambda calculus
S Alves, M Florido
Theoretical Computer Science 342 (1), 79-103, 2005
VeriFLog: A constraint logic programming approach to verification of website content
J Coelho, M Florido
Asia-Pacific Web Conference, 148-156, 2006
Type-based static and dynamic website verification
J Coelho, M Florido
Second International Conference on Internet and Web Applications and …, 2007
A rule-based approach to XML processing and web reasoning
J Coelho, B Dundua, M Florido, T Kutsia
International Conference on Web Reasoning and Rule Systems, 164-172, 2010
Linearization of the lambda-calculus and its relation with intersection type systems
M Florido, L Damas
Journal of Functional Programming 14 (5), 519-546, 2004
Type inference using constraint handling rules
S Alves, M Florido
Electronic Notes in Theoretical Computer Science 64, 56-72, 2002
Types as theories
M Florido, L Damas
Proc. of post-conference workshop on Proofs and Types, Joint International …, 1992
Linearity and recursion in a typed lambda-calculus
S Alves, M Fernández, M Florido, I Mackie
Proceedings of the 13th international ACM SIGPLAN symposium on Principles …, 2011
The power of closed reduction strategies
S Alves, M Fernández, M Florido, I Mackie
Electronic Notes in Theoretical Computer Science 174 (10), 57-74, 2007
XCentric: A Logic-Programming Language for XML Processing.
J Coelho, M Florido
PLAN-X, 93-94, 2007
Using intersection types for cost-analysis of higher-order polymorphic functional programs
HR Simőes, K Hammond, M Florido, P Vasconcelos
International Workshop on Types for Proofs and Programs, 221-236, 2006
The system can't perform the operation now. Try again later.
Articles 1–20