I1M2010-T20: El tipo abstracto de los montículos en Haskell

624 views

Published on

Se especifica el tipo abstracto de datos de los montículos, se presenta su implementación en Haskell mediante tipo de datos algebraico y se comprueban sus propiedades características con QuickCheck.

Este es el tema 20 del curso de introducción a Haskell. El código y los restantes temas se encuentran en http://www.cs.us.es/~jalonso/cursos/i1m-10/temas.html

Published in: Education
  • Be the first to comment

  • Be the first to like this

×