Search the dblp DataBase

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 TA_lambda. [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]