Mário Florido
Mário Florido
Universidade do Porto - Faculdade de Ciências
Verified email at dcc.fc.up.pt - Homepage
Title
Cited by
Cited by
Year
CLP (Flex): Constraint logic programming applied to XML processing
J Coelho, M Florido
OTM Confederated International Conferences" On the Move to Meaningful …, 2004
352004
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
332012
Gödel’s system T revisited
S Alves, M Fernández, M Florido, I Mackie
Theoretical Computer Science 411 (11-13), 1484-1500, 2010
282010
PrologCheck–property-based testing in prolog
C Amaral, M Florido, VS Costa
International Symposium on Functional and Logic Programming, 1-17, 2014
272014
XCentric: logic programming for XML processing
J Coelho, M Florido
Proceedings of the 9th annual ACM international workshop on Web information …, 2007
272007
The power of linear functions
S Alves, M Fernández, M Florido, I Mackie
International Workshop on Computer Science Logic, 119-134, 2006
262006
Type-based XML processing in logic programming
J Coelho, M Florido
International Symposium on Practical Aspects of Declarative Languages, 273-285, 2003
252003
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
222015
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
202017
VeriFLog: A constraint logic programming approach to verification of website content
J Coelho, M Florido
Asia-Pacific Web Conference, 148-156, 2006
182006
Type-based static and dynamic website verification
J Coelho, M Florido
Second International Conference on Internet and Web Applications and …, 2007
172007
Weak linearization of the lambda calculus
S Alves, M Florido
Theoretical Computer Science 342 (1), 79-103, 2005
172005
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
142010
Type inference using constraint handling rules
S Alves, M Florido
Electronic Notes in Theoretical Computer Science 64, 56-72, 2002
132002
Types as theories
M Florido, L Damas
Proc. of post-conference workshop on Proofs and Types, Joint International …, 1992
121992
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
112007
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
102011
XCentric: A Logic-Programming Language for XML Processing.
J Coelho, M Florido
PLAN-X, 93-94, 2007
102007
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
102006
Linearization of the lambda-calculus and its relation with intersection type systems
M Florido, L Damas
Journal of Functional Programming 14 (5), 519, 2004
102004
The system can't perform the operation now. Try again later.
Articles 1–20