| 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 | 48 | 2012 |
| CLP (Flex): Constraint logic programming applied to XML processing J Coelho, M Florido OTM Confederated International Conferences" On the Move to Meaningful …, 2004 | 35 | 2004 |
| PrologCheck–property-based testing in prolog C Amaral, M Florido, V Santos Costa International Symposium on Functional and Logic Programming, 1-17, 2014 | 32 | 2014 |
| Type-based cost analysis for lazy functional languages S Jost, P Vasconcelos, M Florido, K Hammond Journal of Automated Reasoning 59, 87-120, 2017 | 30 | 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 | 30 | 2010 |
| The power of linear functions S Alves, M Fernández, M Florido, I Mackie International Workshop on Computer Science Logic, 119-134, 2006 | 29 | 2006 |
| Type-based allocation analysis for co-recursion in lazy functional languages P Vasconcelos, S Jost, M Florido, K Hammond Programming Languages and Systems: 24th European Symposium on Programming …, 2015 | 26 | 2015 |
| XCentric: logic programming for XML processing J Coelho, M Florido Proceedings of the 9th annual ACM international workshop on Web information …, 2007 | 26 | 2007 |
| Type-based XML processing in logic programming J Coelho, M Florido International symposium on practical aspects of declarative languages, 273-285, 2002 | 26 | 2002 |
| VeriFLog: A constraint logic programming approach to verification of website content J Coelho, M Florido Asia-Pacific Web Conference, 148-156, 2006 | 20 | 2006 |
| Weak linearization of the lambda calculus S Alves, M Florido Theoretical Computer Science 342 (1), 79-103, 2005 | 19 | 2005 |
| Type-based static and dynamic website verification J Coelho, M Florido Second International Conference on Internet and Web Applications and …, 2007 | 18 | 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 | 16 | 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 | 15 | 2004 |
| Type inference using constraint handling rules S Alves, M Florido Electronic Notes in Theoretical Computer Science 64, 56-72, 2002 | 14 | 2002 |
| Types as theories M Florido, L Damas Proc. of post-conference workshop on Proofs and Types, Joint International …, 1992 | 14 | 1992 |
| 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 | 12 | 2007 |
| 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 | 10 | 2011 |
| XCentric: A Logic-Programming Language for XML Processing. J Coelho, M Florido PLAN-X, 93-94, 2007 | 10 | 2007 |
| Using intersection types for cost-analysis of higher-order polymorphic functional programs HR Simões, K Hammond, M Florido, P Vasconcelos Types for Proofs and Programs: International Workshop, TYPES 2006 …, 2007 | 10 | 2007 |
Ian MackieUniversity of SussexVerified email at sussex.ac.uk
