Francisco Javier López Fraguas

• Colaboraciones en obras colectivas (2)
• Libros (1)
• Tesis (1)
• Tesis dirigidas (5)

• Colaboraciones en obras colectivas

  • Seleccionado

    A fully abstract semantics for constructor systems

    Francisco Javier López Fraguas, Juan Rodríguez Hortalá , Jaime Sánchez Hernández

    Programación y lenguajes: IX Jornadas sobre Programación y Lenguajes, PROLE'09, I Taller de Programación Funcional, TPF'09, San Sebastián, España, del 8 al 11 de septiembre de 2009 / Paqui Lucio (ed. lit.) , Ginés Damián Moreno Valverde (ed. lit.) , Ricardo Peña Marí (ed. lit.) , 2009, ISBN 978-84-692-4600-9, págs. 177-178

    
  • Seleccionado

    Advances in type systems for functional-logic programming

    Francisco Javier López Fraguas, Enrique Martín Martín , Juan Rodríguez Hortalá

    Programación y lenguajes: IX Jornadas sobre Programación y Lenguajes, PROLE'09, I Taller de Programación Funcional, TPF'09, San Sebastián, España, del 8 al 11 de septiembre de 2009 / Paqui Lucio (ed. lit.) , Ginés Damián Moreno Valverde (ed. lit.) , Ricardo Peña Marí (ed. lit.) , 2009, ISBN 978-84-692-4600-9, págs. 227-236

    

• Libros

  • Seleccionado

    Actas de las V Jornadas sobre Programación y Lenguajes: [PROLE'2005]

    Francisco Javier López Fraguas (ed. lit.)

    Paraninfo, 2005

    

• Tesis

  • Seleccionado

    Programación funcional y lógica con restricciones

    Francisco Javier López Fraguas

    Tesis doctoral dirigida por Mario Rodríguez Artalejo (dir. tes.) . Universidad Complutense de Madrid (1994).

    • Resumen
    

• Tesis dirigidas

  • Seleccionado

    Análisis estático de tipos para lenguajes de tipado dinámico

    Gorka Suárez García

    Tesis doctoral dirigida por Manuel Montenegro Montes (dir. tes.) , Francisco Javier López Fraguas (dir. tes.). Universidad Complutense de Madrid (2022).

    • Resumen
    • Tesis en acceso abierto en: Docta Complutense
    
  • Seleccionado

    Improving the solving efficiency of TOY (FD) and its application to real-life problems

    Ignacio Castiñeiras Pérez

    Tesis doctoral dirigida por Fernando Sáenz Pérez (dir. tes.) , Francisco Javier López Fraguas (dir. tes.). Universidad Complutense de Madrid (2014).

    • Resumen
    • Tesis en acceso abierto en: Docta Complutense
    
  • Seleccionado

    Sistemas de tipos en lenguajes lógico-funcionales

    Enrique Martín Martín

    Tesis doctoral dirigida por Francisco Javier López Fraguas (dir. tes.), Juan Rodríguez Hortalá (dir. tes.) . Universidad Complutense de Madrid (2012).

    • Tesis en acceso abierto en: Docta Complutense
    
  • Seleccionado

    Programación con indeterminismo: un enfoque basado en reescritura

    Juan Rodríguez Hortalá

    Tesis doctoral dirigida por Francisco Javier López Fraguas (dir. tes.), Jaime Sánchez Hernández (dir. tes.) . Universidad Complutense de Madrid (2010).

    • Resumen
    
  • Seleccionado

    Una aproximación al fallo en programación declarativa multiparadigma

    Jaime Sánchez Hernández

    Tesis doctoral dirigida por Francisco Javier López Fraguas (dir. tes.). Universidad Complutense de Madrid (2004).

    • Resumen
    

Esta página recoge referencias bibliográficas de materiales disponibles en los fondos de las Bibliotecas que participan en Documat. En ningún caso se trata de una página que recoja la producción bibliográfica de un autor de manera exhaustiva. Nos gustaría que los datos aparecieran de la manera más correcta posible, de manera que si detecta algún error en la información que facilitamos, puede hacernos llegar su Sugerencia / Errata.