Formalizing the debugging process in Haskell

  1. De La Encina, A.
  2. Llana, L.
  3. Rubio, F.
Col·lecció de llibres:
Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

ISSN: 0302-9743 1611-3349

ISBN: 9783540291077

Any de publicació: 2005

Volum: 3722 LNCS

Pàgines: 211-226

Tipus: Aportació congrés