Enrique Martín Martín

Publications

2013

  • ATVA 2013 Elvira Albert, Antonio Flores-Montoya, Samir Genaim and Enrique Martin-Martin. Termination and Cost Analysis of Loops with Concurrent Interleavings. To appear in the Proceedings of the 11th International Symposium on Automated Technology for Verification and Analysis (ATVA'13). October 2013.
    [ ]
  • TAP 2013 Rafael Caballero, Enrique Martin-Martin, Adrian Riesco and Salvador Tamarit. A Declarative Debugger for Sequential Erlang Programs. Proceedings of the 7th International Conference on Tests & Proofs (TAP'13). Lecture Notes in Computer Science 7942, pages 96-114, June 2013.
    [  bib   |  pdf (authors' version) |  pdf (via DOI)  ]
  • PEPM 2013 Francisco J. López-Fraguas, Enrique Martin-Martin. Typing as Functional Logic Evaluation. Proceedings of the 2013 ACM SIGPLAN Workshop on Partial Evaluation and Program Manipulation (PEPM'13), pages 23-32. January 2013.
    [  bib  |  pdf |  slides ]

PhD Thesis

  • PhD Thesis (spanish) Enrique Martín Martín. Sistemas de tipos en lenguajes lógico-funcionales. Universidad Complutense de Madrid, July 2012.
    pdf | slides ]

2012

  • KOLI 2012 Luis Llana, Enrique Martin-Martin, Cristóbal Pareja-Flores. FLOP, a Free Laboratory Of Programming. Proceedings of the 12th Koli Calling International Conference on Computing Education Research, pages 93-99. November 2012.
    [  bib  |  pdf |  slides ]
  • PPDP 2012 Enrique Martin-Martin, Juan Rodríguez-Hortalá Transparent Function Types: Clearing up Opacity. Proceedings of the 14th International Symposium on Principles and Practice of Declarative Programming (PPDP '12), pages 127-138. September 2012.
    [   bib  |  pdf |  slides   |  extended version  ]
  • TechRep SIC-11-12 Enrique Martin-Martin, Juan Rodríguez-Hortalá. Transparent Function Types: Clearing up Opacity (Extended Version). Technical report SIC-11-12, Dept. Sistemas Informáticos y Computación, Universidad Complutense de Madrid, July 2012.
    [  pdf ]
  • TPLP Francisco J. 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. Accepted for publication in Theory and Practice of Logic Programming.
    [  ArXiv.org pdf ]
  • I&C Francisco J. López-Fraguas, Enrique Martin-Martin, Juan Rodríguez-Hortalá. Safe Typing of Functional Logic Programs with Opaque Patterns and Local Bindings. Accepted for publication in Information and Computation.
    [    ]
  • MSCS Francisco López-Fraguas, Enrique Martin-Martin, Juan Rodríguez-Hortalá. A Liberal Type System for Functional Logic Programs. Accepted for publication in Mathematical Structures in Computer Science.
    [    ]
  • TechRep SIC-05-12 Francisco López-Fraguas, Enrique Martin-Martin, Juan Rodríguez-Hortalá. Advances in Type Systems for Functional Logic Programming (Extended Version). Technical report SIC-05-12, Dept. Sistemas Informáticos y Computación, Universidad Complutense de Madrid, March 2012.
    [  pdf ]
  • PEPM 2012 Francisco López-Fraguas, Enrique Martin-Martin, Juan Rodríguez-Hortalá. Well-typed Narrowing with Extra Variables in Functional-Logic Programming. Proceedings of the 2012 ACM SIGPLAN Workshop on Partial Evaluation and Program Manipulation (PEPM'12), pages 83-92. January 2012.
    [  pdf  |  extended version ]

2011

  • TechRep SIC-11-11 Francisco López-Fraguas, Enrique Martin-Martin, Juan Rodríguez-Hortalá. Well-typed Narrowing with Extra Variables in Functional-Logic Programming (Extended Version). Technical report SIC-11-11, Dept. Sistemas Informáticos y Computación, Universidad Complutense de Madrid, December 2011.
    [  pdf ]
  • PEPM 2011 Enrique Martin-Martin. Type Classes in Functional Logic Programming. Proceedings of the 20th ACM SIGPLAN Workshop on Partial Evaluation and Program Manipulation (PEPM'11), pages 121-130, January 2011.
    [  bib |  pdf | slides ]

2010

  • TechRep SIC-06-10 Francisco J. López-Fraguas, Enrique Martin-Martin, and Juan Rodríguez-Hortalá. Liberal Typing for Functional Logic Programs (extended version). Technical report SIC-06-10, Dept. Sistemas Informáticos y Computación, Universidad Complutense de Madrid, September 2010.
    bib | pdf ]
  • APLAS 2010 Francisco J. López-Fraguas, Enrique Martin-Martin, and Juan Rodríguez-Hortalá. Liberal Typing for Functional Logic Programs. Proceedings of the 8th Asian Symposium on Programming Languages and Systems (APLAS 2010). Lecture Notes in Computer Science 6461, pages 80-96, November 2010.
    [  bib | pdf | extended version | slides | web interface ]
  • TPF 2010 Enrique Martin-Martin. Implementing Type Classes using Type-Indexed Functions. II Taller de Programación Funcional, CEDI 2010, Valencia (Spain), September 2010.
    bib | pdf | slides ]
  • TechRep SIC-03-10 Francisco J. López-Fraguas, Enrique Martin-Martin, and Juan Rodríguez-Hortalá. Generic Functional Logic Programs. Technical report SIC-03-10, Dept. Sistemas Informáticos y Computación, Universidad Complutense de Madrid, May 2010.
    bib | pdf ]
  • LNCS 5979 Francisco J. López-Fraguas, Enrique Martin-Martin, and Juan Rodríguez-Hortalá. New Results on Type Systems for Functional Logic Programming. Lecture Notes in Computer Science 5979, pages 128-144, March 2010.
    bib | pdf ]

Master Thesis

  • Master Thesis Enrique Martin-Martin. Advances in type systems for functional logic programming. Master's thesis, Universidad Complutense de Madrid, July 2009.
    bib | slides | pdf ]

2009

  • WFLP 2009 Francisco J. López-Fraguas, Enrique Martin-Martin, and Juan Rodríguez-Hortalá. Advances in type systems for functional logic programming. Pre-proceedings of the 18th International Workshop on Functional and (Constraint) Logic Programming (WFLP), Brasilia (Brazil), pages 157-171, June 2009.
    [ bib | slides | pdf | extended version ]
    This paper is superseded by the Master's thesis and LNCS 5979.
  • PROLE 2009 Francisco J. López-Fraguas, Enrique Martin-Martin, and Juan Rodríguez-Hortalá. Advances in type systems for functional logic programming (Work in progress). In P. Lucio, G. Moreno and R. Peña, editors. Proceedings of the IX Jornadas sobre Programación y Lenguajes (PROLE), San Sebastián (Spain), pages 227-236, September 2009.
    [ bib | slides | pdf ]
    This paper is superseded by WFLP'09.
  • Novatica 199 (spanish) Enrique Martín Martín and Cristóbal Pareja Flores. Reconstrucción (CUPCAM 2007, problema G, solución). Novática: Revista de la Asociación de Técnicos de Informática, 199:75–76, May 2009.
    [ bib | pdf ]

2008

  • SITIAE 2008 (spanish) Luis Llana Díaz, Enrique Martín Martín, and Cristóbal Pareja Flores. Correctores automáticos de programas: Implantación realista en la docencia universitaria. Actas del II Seminario de Investigación en Tecnologías de la Información Aplicadas a la Educación (SITIAE), pages 31-50. Universidad Rey Juan Carlos, 2008.
    bib | pdf ]

Valid XHTML 1.0 Strict ¡CSS Válido!