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