Please note: This is a beta version of the new dblp website.
You can find the classic dblp view of this page here.

Enrique Martin-Martin

2010 – today

see FAQ

What is the meaning of the colors in the publication list?

2013
[c7]
- view
  - electronic edition @ acm.org
- export record as
  - BibTeX
  - XML
  dblp key:
  - conf/pepm/Lopez-FraguasM13
- ask others
Francisco Javier López-Fraguas, Enrique Martin-Martin: Typing as functional-logic evaluation. PEPM 2013: 23-32
[c6]
- view
  - electronic edition via DOI
- export record as
  - BibTeX
  - XML
  dblp key:
  - conf/tap/CaballeroMRT13
- ask others
Rafael Caballero, Enrique Martin-Martin, Adrián Riesco, Salvador Tamarit: A Declarative Debugger for Sequential Erlang Programs. TAP 2013: 96-114
2012
[c5]
- view
  - electronic edition @ acm.org
- export record as
  - BibTeX
  - XML
  dblp key:
  - conf/pepm/Lopez-FraguasMR12
- ask others
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
[c4]
- view
  - electronic edition @ acm.org
- export record as
  - BibTeX
  - XML
  dblp key:
  - conf/ppdp/Martin-MartinR12
- ask others
Enrique Martin-Martin, Juan Rodríguez-Hortalá: Transparent function types: clearing up opacity. PPDP 2012: 127-138
[i1]
- view
  - electronic edition @ arxiv.org
- export record as
  - BibTeX
  - XML
  dblp key:
  - journals/corr/abs-1209-2617
- ask others
Francisco Javier López-Fraguas, Enrique Martin-Martin, Juan Rodríguez-Hortalá, Jaime Sánchez-Hernández: Rewriting and narrowing for constructor systems with call-time choice semantics. CoRR abs/1209.2617 (2012)
2011
[c3]
- view
  - electronic edition @ acm.org
- export record as
  - BibTeX
  - XML
  dblp key:
  - conf/pepm/Martin-Martin11
- ask others
Enrique Martin-Martin: Type classes in functional logic programming. PEPM 2011: 121-130
2010
[c2]
- view
  - electronic edition via DOI
- export record as
  - BibTeX
  - XML
  dblp key:
  - conf/aplas/Lopez-FraguasMR10
- ask others
Francisco Javier López-Fraguas, Enrique Martin-Martin, Juan Rodríguez-Hortalá: Liberal Typing for Functional Logic Programs. APLAS 2010: 80-96

2000 – 2009

see FAQ

What is the meaning of the colors in the publication list?

2009
[c1]
- view
  - electronic edition via DOI
- export record as
  - BibTeX
  - XML
  dblp key:
  - conf/wflp/Lopez-FraguasMR09
- ask others
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