Formalizing the debugging process in Haskell

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

ISSN: 0302-9743 1611-3349

ISBN: 9783540291077

Year of publication: 2005

Volume: 3722 LNCS

Pages: 211-226

Type: Conference paper