A Linguagem Funcional Haskell - Departamento de Informática e ...
A Linguagem Funcional Haskell - Departamento de Informática e ...
A Linguagem Funcional Haskell - Departamento de Informática e ...
Create successful ePaper yourself
Turn your PDF publications into a flip-book with our unique Google optimized e-Paper software.
[THO 87] THOMPSON, Simon. An Introductionto Type Theory and Constructive Mathematics.Canterbury, Kent, U.K. 1987.http://www.haskell.org/