A liberal type system for functional logic programs

  1. López-Fraguas, F.J.
  2. Martin-Martin, E.
  3. Rodríguez-Hortalá, J.
Aldizkaria:
Mathematical Structures in Computer Science

ISSN: 0960-1295

Argitalpen urtea: 2015

Alea: 25

Zenbakia: 4

Orrialdeak: 942-977

Mota: Biltzar ekarpena

DOI: 10.1017/S0960129513000091 GOOGLE SCHOLAR
Datuen iturria: Scopus