| 2008 |
|---|
| 17 | EE | Sandra Alves,
Mário Florido,
Ian Mackie,
François-Régis Sinot:
Minimality in a Linear Calculus with Iteration.
Electr. Notes Theor. Comput. Sci. 204: 163-179 (2008) |
| 2007 |
|---|
| 16 | EE | Sandra Alves,
Maribel Fernández,
Mário Florido,
Ian Mackie:
Iterator Types.
FoSSaCS 2007: 17-31 |
| 15 | EE | Jorge Coelho,
Mário Florido:
Type-Based Static and Dynamic Website Verification.
ICIW 2007: 32 |
| 14 | EE | Jorge Coelho,
Mário Florido:
XCentric: A Logic-Programming Language for XML Processing.
PLAN-X 2007: 93-94 |
| 13 | EE | Sandra Alves,
Maribel Fernández,
Mário Florido,
Ian Mackie:
Linear Recursive Functions.
Rewriting, Computation and Proof 2007: 182-195 |
| 12 | EE | Jorge Coelho,
Mário Florido:
XCentric: logic programming for XML processing.
WIDM 2007: 1-8 |
| 11 | EE | Jorge Coelho,
Mário Florido,
Temur Kutsia:
Sequence Disunification and Its Application in Collaborative Schema Construction.
WISE Workshops 2007: 91-102 |
| 10 | EE | Sandra Alves,
Maribel Fernández,
Mário Florido,
Ian Mackie:
The Power of Closed Reduction Strategies.
Electr. Notes Theor. Comput. Sci. 174(10): 57-74 (2007) |
| 2006 |
|---|
| 9 | EE | Jorge Coelho,
Mário Florido:
VeriFLog: A Constraint Logic Programming Approach to Verification of Website Content.
APWeb Workshops 2006: 148-156 |
| 8 | EE | Sandra Alves,
Maribel Fernández,
Mário Florido,
Ian Mackie:
The Power of Linear Functions.
CSL 2006: 119-134 |
| 7 | EE | Hugo R. Simões,
Kevin Hammond,
Mário Florido,
Pedro B. Vasconcelos:
Using Intersection Types for Cost-Analysis of Higher-Order Polymorphic Functional Programs.
TYPES 2006: 221-236 |
| 2005 |
|---|
| 6 | EE | Sandra Alves,
Mário Florido:
Weak linearization of the lambda calculus.
Theor. Comput. Sci. 342(1): 79-103 (2005) |
| 2004 |
|---|
| 5 | EE | Jorge Coelho,
Mário Florido:
CLP(Flex): Constraint Logic Programming Applied to XML Processing.
CoopIS/DOA/ODBASE (2) 2004: 1098-1112 |
| 4 | EE | Mário Florido,
Luís Damas:
Linearization of the lambda-calculus and its relation with intersection type systems.
J. Funct. Program. 14(5): 519-546 (2004) |
| 2003 |
|---|
| 3 | EE | Sandra Alves,
Mário Florido:
Linearization by Program Transformation.
LOPSTR 2003: 160-175 |
| 2 | EE | Jorge Coelho,
Mário Florido:
Type-Based XML Processing in Logic Programming.
PADL 2003: 273-285 |
| 2002 |
|---|
| 1 | EE | Sandra Alves,
Mário Florido:
Type Inference using Constraint Handling Rules.
Electr. Notes Theor. Comput. Sci. 64: (2002) |
