Search the dblp DataBase
Mário Florido :
[Publications ]
[Author Rank by year ]
[Co-authors ]
[Prefers ]
[Cites ]
[Cited by ]
Publications of Author
Jorge Coelho , Mário Florido VeriFLog: A Constraint Logic Programming Approach to Verification of Website Content. [Citation Graph (0, 0)][DBLP ] APWeb Workshops, 2006, pp:148-156 [Conf ] Jorge Coelho , Mário Florido CLP(Flex): Constraint Logic Programming Applied to XML Processing. [Citation Graph (0, 0)][DBLP ] CoopIS/DOA/ODBASE (2), 2004, pp:1098-1112 [Conf ] Sandra Alves , Maribel Fernández , Mário Florido , Ian Mackie The Power of Linear Functions. [Citation Graph (0, 0)][DBLP ] CSL, 2006, pp:119-134 [Conf ] Sandra Alves , Mário Florido Linearization by Program Transformation. [Citation Graph (0, 0)][DBLP ] LOPSTR, 2003, pp:160-175 [Conf ] Jorge Coelho , Mário Florido Type-Based XML Processing in Logic Programming. [Citation Graph (0, 0)][DBLP ] PADL, 2003, pp:273-285 [Conf ] Jorge Coelho , Mário Florido XCentric: A Logic-Programming Language for XML Processing. [Citation Graph (0, 0)][DBLP ] PLAN-X, 2007, pp:93-94 [Conf ] Sandra Alves , Mário Florido Type Inference using Constraint Handling Rules. [Citation Graph (0, 0)][DBLP ] Electr. Notes Theor. Comput. Sci., 2002, v:64, n:, pp:- [Journal ] Mário Florido , Luís Damas Linearization of the lambda-calculus and its relation with intersection type systems. [Citation Graph (0, 0)][DBLP ] J. Funct. Program., 2004, v:14, n:5, pp:519-546 [Journal ] Sandra Alves , Mário Florido Weak linearization of the lambda calculus. [Citation Graph (0, 0)][DBLP ] Theor. Comput. Sci., 2005, v:342, n:1, pp:79-103 [Journal ] Sandra Alves , Maribel Fernández , Mário Florido , Ian Mackie Linear Recursive Functions. [Citation Graph (0, 0)][DBLP ] Rewriting, Computation and Proof, 2007, pp:182-195 [Conf ] Sandra Alves , Maribel Fernández , Mário Florido , Ian Mackie Iterator Types. [Citation Graph (0, 0)][DBLP ] FoSSaCS, 2007, pp:17-31 [Conf ] Hugo R. Simões , Kevin Hammond , Mário Florido , Pedro B. Vasconcelos Using Intersection Types for Cost-Analysis of Higher-Order Polymorphic Functional Programs. [Citation Graph (0, 0)][DBLP ] TYPES, 2006, pp:221-236 [Conf ] Jorge Coelho , Mário Florido , Temur Kutsia Sequence Disunification and Its Application in Collaborative Schema Construction. [Citation Graph (0, 0)][DBLP ] WISE Workshops, 2007, pp:91-102 [Conf ] Sandra Alves , Maribel Fernández , Mário Florido , Ian Mackie The Power of Closed Reduction Strategies. [Citation Graph (0, 0)][DBLP ] Electr. Notes Theor. Comput. Sci., 2007, v:174, n:10, pp:57-74 [Journal ] Collaborative Schema Construction using Regular Sequence Types. [Citation Graph (, )][DBLP ] XCentric: logic programming for XML processing. [Citation Graph (, )][DBLP ] A Rule-Based Approach to XML Processing and Web Reasoning. [Citation Graph (, )][DBLP ] Type-Based Static and Dynamic Website Verification. [Citation Graph (, )][DBLP ] Linear Recursion [Citation Graph (, )][DBLP ] Proceedings First International Workshop on Linearity [Citation Graph (, )][DBLP ] Minimality in a Linear Calculus with Iteration. [Citation Graph (, )][DBLP ] Search in 0.002secs, Finished in 0.002secs