Lecturas del año 2010
Lecturas de Noviembre de 2010
- Ejercicios de programación en Haskell #Haskell #V
- El tipo abstracto de datos de las pilas en Haskell #Haskell #V
- Desarrollo del comando wc de Unix en Haskell #Haskell #V
Lecturas de Diciembre de 2010
- Lógica computacional en Sevilla (30 años en una hora) #V
- Problema sobre números naturales #Haskell #V
- Rompecabeza de Ullman en Haskell #Haskell #V
- Proceedings workshop on partiality and recursion in interactive theorem provers. #Libro #AR
- Certifying compilers using higher-order theorem provers as certificate checkers #Verificación #V
- Teorías y aplicaciones #V