Francisco Javier López-Fraguas (Selection)

List of publications from the DBLP Bibliography Server - FAQ

Ask others: ACM DL/Guide -

46 Francisco Javier López-Fraguas, Enrique Martin-Martin, Juan Rodríguez-Hortalá: Well-typed narrowing with extra variables in functional-logic programming. PEPM 2012: 83-92

45 Francisco Javier López-Fraguas, Enrique Martin-Martin, Juan Rodríguez-Hortalá: Liberal Typing for Functional Logic Programs. APLAS 2010: 80-96

39 Francisco Javier López-Fraguas, Enrique Martin-Martin, Juan Rodríguez-Hortalá: New Results on Type Systems for Functional Logic Programming. WFLP 2009: 128-144

Selection of 3 from 46 records - Francisco Javier López-Fraguas has 22 coauthors

Last update 2012-09-10 CET by the DBLP Team —

Content released under the ODC-BY 1.0 license — See also our legal information page

46		Francisco Javier López-Fraguas, Enrique Martin-Martin, Juan Rodríguez-Hortalá: Well-typed narrowing with extra variables in functional-logic programming. PEPM 2012: 83-92
45		Francisco Javier López-Fraguas, Enrique Martin-Martin, Juan Rodríguez-Hortalá: Liberal Typing for Functional Logic Programs. APLAS 2010: 80-96
39		Francisco Javier López-Fraguas, Enrique Martin-Martin, Juan Rodríguez-Hortalá: New Results on Type Systems for Functional Logic Programming. WFLP 2009: 128-144