The SCEAS System
Navigation Menu

Search the dblp DataBase

Title:
Author:

Luís Damas: [Publications] [Author Rank by year] [Co-authors] [Prefers] [Cites] [Cited by]

Publications of Author

  1. Luís Damas, Robin Milner
    Principal Type-Schemes for Functional Programs. [Citation Graph (2, 0)][DBLP]
    POPL, 1982, pp:207-212 [Conf]
  2. Sergio Balari, Giovanni B. Varile, Luís Damas, Nelma Moreira
    CLG(n): Constraint Logic Grammars. [Citation Graph (0, 0)][DBLP]
    COLING, 1990, pp:7-12 [Conf]
  3. Luís Damas, Giovanni B. Varile
    On the Satisfiability of Complex Constraints. [Citation Graph (0, 0)][DBLP]
    COLING, 1992, pp:108-112 [Conf]
  4. Luís Damas, Giovanni B. Varile, Nelma Moreira
    The Formal and Processing Models of CLG. [Citation Graph (0, 0)][DBLP]
    EACL, 1991, pp:173-178 [Conf]
  5. Luís Damas, Nelma Moreira
    Constraint Categorial Grammars. [Citation Graph (0, 0)][DBLP]
    EPIA, 1995, pp:347-358 [Conf]
  6. Luís Damas, Nelma Moreira, Sabine Broda
    Resolution of Constraints in Algebras of Rational Trees. [Citation Graph (0, 0)][DBLP]
    EPIA, 1993, pp:61-76 [Conf]
  7. Luís Damas, Giovanni B. Varile
    CLG: A Grammar Formalism Based on Constraint Reslution. [Citation Graph (0, 0)][DBLP]
    EPIA, 1989, pp:175-186 [Conf]
  8. Sabine Broda, Luís Damas
    A Context-Free Grammar Representation for Normal Inhabitants of Types in TAlambda. [Citation Graph (0, 0)][DBLP]
    EPIA, 2001, pp:321-334 [Conf]
  9. Sabine Broda, Luís Damas
    A New Translation Algorithm from Lambda Calculus into Combinatory Logic. [Citation Graph (0, 0)][DBLP]
    EPIA, 1995, pp:359-370 [Conf]
  10. José Paulo Leal, Luís Damas, Nelma Moreira
    An History Based Interface. [Citation Graph (0, 0)][DBLP]
    LPE, 1991, pp:10-16 [Conf]
  11. Michel Ferreira, Luís Damas
    WAM Local Analysis. [Citation Graph (0, 0)][DBLP]
    PADL, 2003, pp:286-303 [Conf]
  12. Michel Ferreira, Luís Damas
    Multiple Specialization of WAM Code. [Citation Graph (0, 0)][DBLP]
    PADL, 1999, pp:243-258 [Conf]
  13. Sabine Broda, Luís Damas
    Counting a Type's Principal Inhabitants. [Citation Graph (0, 0)][DBLP]
    TLCA, 1999, pp:69-82 [Conf]
  14. Sabine Broda, Luís Damas
    Studying provability in implicational intuitionistic logic the formula tree approach. [Citation Graph (0, 0)][DBLP]
    Electr. Notes Theor. Comput. Sci., 2002, v:67, n:, pp:- [Journal]
  15. Sabine Broda, Luís Damas
    Counting a Type's (Principal) Inhabitants. [Citation Graph (0, 0)][DBLP]
    Fundam. Inform., 2001, v:45, n:1-2, pp:33-51 [Journal]
  16. Sabine Broda, Luís Damas
    On Combinatory Complete Sets of Proper Combinators. [Citation Graph (0, 0)][DBLP]
    J. Funct. Program., 1997, v:7, n:6, pp:593-612 [Journal]
  17. Mário Florido, Luís Damas
    Linearization of the lambda-calculus and its relation with intersection type systems. [Citation Graph (0, 0)][DBLP]
    J. Funct. Program., 2004, v:14, n:5, pp:519-546 [Journal]
  18. Sabine Broda, Luís Damas
    Compact Bracket Abstraction in Combinatory Logic. [Citation Graph (0, 0)][DBLP]
    J. Symb. Log., 1997, v:62, n:3, pp:729-740 [Journal]
  19. Sabine Broda, Luís Damas
    On Long Normal Inhabitants of a Type. [Citation Graph (0, 0)][DBLP]
    J. Log. Comput., 2005, v:15, n:3, pp:353-390 [Journal]
  20. Sabine Broda, Luís Damas
    On principal types of combinators. [Citation Graph (0, 0)][DBLP]
    Theor. Comput. Sci., 2000, v:247, n:1-2, pp:277-290 [Journal]
  21. Sabine Broda, Luís Damas, Marcelo Finger, Paulo Silva e Silva
    The decidability of a fragment of BB'IW-logic. [Citation Graph (0, 0)][DBLP]
    Theor. Comput. Sci., 2004, v:318, n:3, pp:373-408 [Journal]
  22. Sabine Broda, Luís Damas
    On Principal Types of BCK- lambda -Terms. [Citation Graph (0, 0)][DBLP]
    WoLLIC, 2007, pp:120-130 [Conf]

  23. Large-scale simulation of V2V environments. [Citation Graph (, )][DBLP]


  24. Constraint Categorial Grammars [Citation Graph (, )][DBLP]


Search in 0.003secs, Finished in 0.004secs
NOTICE1
System may not be available sometimes or not working properly, since it is still in development with continuous upgrades
NOTICE2
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 asidirop@csd.auth.gr [http://users.auth.gr/~asidirop/] © 2002
for Data Engineering Laboratory, Department of Informatics, Aristotle University © 2002