12.07.2015 Views

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 ...

SHOW MORE
SHOW LESS

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/

Hooray! Your file is uploaded and ready to be published.

Saved successfully!

Ooh no, something went wrong!