Formalizing the debugging process in Haskell

  1. De La Encina, A.
  2. Llana, L.
  3. Rubio, F.
Liburu bilduma:
Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

ISSN: 0302-9743 1611-3349

ISBN: 9783540291077

Argitalpen urtea: 2005

Alea: 3722 LNCS

Orrialdeak: 211-226

Mota: Biltzar ekarpena