| 2007 |
|---|
| 9 | EE | Carlos Camarão,
Cristiano Vasconcellos,
Lucília Figueiredo,
João Nicola:
Open and Closed Worlds for Overloading: a Definition and Support for Coexistence.
J. UCS 13(6): 874-890 (2007) |
| 2004 |
|---|
| 8 | EE | Carlos Camarão,
Lucília Figueiredo,
Cristiano Vasconcellos:
Constraint-set satisfiability for overloading.
PPDP 2004: 67-77 |
| 2003 |
|---|
| 7 | EE | Ruy J. G. B. de Queiroz,
Elaine Pimentel,
Lucília Figueiredo:
Preface.
Electr. Notes Theor. Comput. Sci. 84: (2003) |
| 6 | | Carlos Camarão,
Lucília Figueiredo,
Hermann Rodrigues:
Mimico: a Monad Combinator Parser Generator.
J. Braz. Comp. Soc. 9(1): 27-40 (2003) |
| 5 | EE | Cristiano Vasconcellos,
Lucília Figueiredo,
Carlos Camarão:
Practical Type Inference for Polymorphic Recursion: an Implementation in Haskell.
J. UCS 9(8): 873-890 (2003) |
| 2002 |
|---|
| 4 | EE | Lucília Figueiredo,
Carlos Camarão:
A View on Abstract and Extensibles Types.
Revista Comlombiana de Computación 3(1): 21-40 (2002) |
| 1999 |
|---|
| 3 | | Carlos Camarão,
Lucília Figueiredo:
Type Inference for Overloading without Restrictions, Declarations or Annotations.
Fuji International Symposium on Functional and Logic Programming 1999: 37-52 |
| 1998 |
|---|
| 2 | EE | Carlos Camarão,
Lucília Figueiredo:
A Type System for Context-dependent Overloading.
Electr. Notes Theor. Comput. Sci. 14: (1998) |
| 1 | EE | Carlos Camarão,
Lucília Figueiredo:
Towards Higher-Order Types.
Electr. Notes Theor. Comput. Sci. 14: (1998) |
