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
362004
Automatic amortised analysis of dynamic memory allocation for lazy functional programs
H Simões, P Vasconcelos, M Florido, S Jost, K Hammond
Proceedings of the 17th ACM SIGPLAN international conference on Functional …, 2012
322012
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
XCentric: logic programming for XML processing
J Coelho, M Florido
Proceedings of the 9th annual ACM international workshop on Web information …, 2007
282007
PrologCheck–property-based testing in prolog
C Amaral, M Florido, VS Costa
International Symposium on Functional and Logic Programming, 1-17, 2014
272014
Type-based XML processing in logic programming
J Coelho, M Florido
International Symposium on Practical Aspects of Declarative Languages, 273-285, 2003
262003
The power of linear functions
S Alves, M Fernández, M Florido, I Mackie
International Workshop on Computer Science Logic, 119-134, 2006
242006
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
202015
VeriFLog: A constraint logic programming approach to verification of website content
J Coelho, M Florido
Asia-Pacific Web Conference, 148-156, 2006
202006
Type-based static and dynamic website verification
J Coelho, M Florido
Second International Conference on Internet and Web Applications and …, 2007
182007
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
162017
Weak linearization of the lambda calculus
S Alves, M Florido
Theoretical Computer Science 342 (1), 79-103, 2005
162005
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
132010
Type inference using constraint handling rules
S Alves, M Florido
Electronic Notes in Theoretical Computer Science 64, 1-17, 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
102007
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
92011
Sequence disunification and its application in collaborative schema construction
J Coelho, M Florido, T Kutsia
International Conference on Web Information Systems Engineering, 91-102, 2007
92007
Linear recursive functions
S Alves, M Fernández, M Florido, I Mackie
Rewriting, Computation and Proof, 182-195, 2007
92007
VeriFLog: Constraint Logic Programming Applied to Verification of Website Content
J Coelho, M Florido
In Int. Workshop XML Research and Applications (XRA’06), volume 3842 of LNCS, 2006
92006
The system can't perform the operation now. Try again later.
Articles 1–20