The SCEAS System
Navigation Menu

Search the dblp DataBase


Carlos Camarão: [Publications] [Author Rank by year] [Co-authors] [Prefers] [Cites] [Cited by]

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. Pedro Ivo Oliveira, Carlos Camarão
    Adapting Web Contents to WAP Devices using Haskell. [Citation Graph (0, 0)][DBLP]
    SCCC, 2001, pp:223-232 [Conf]
  4. 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]
  5. 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]
  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]

Search in 0.001secs, Finished in 0.002secs
System may not be available sometimes or not working properly, since it is still in development with continuous upgrades
The rankings that are presented on this page should NOT be considered as formal since the citation info is incomplete in DBLP
System created by [] © 2002
for Data Engineering Laboratory, Department of Informatics, Aristotle University © 2002