| 2007 | ||
|---|---|---|
| 3 | 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 | ||
| 2 | Carlos Camarão, Lucília Figueiredo, Cristiano Vasconcellos: Constraint-set satisfiability for overloading. PPDP 2004: 67-77 | |
| 2003 | ||
| 1 | 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) | |
| 1 | Carlos Camarão | [1] [2] [3] |
| 2 | Lucília Figueiredo | [1] [2] [3] |
| 3 | João Nicola | [3] |