Search the dblp DataBase

Publications of Author

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