Differences
This shows you the differences between two versions of the page.
Both sides previous revisionPrevious revisionNext revision | Previous revisionNext revisionBoth sides next revision | ||
teaching:cc5115 [2020/02/10 12:59] – [Motivación y Objetivos] folmedo | teaching:cc5115 [2020/02/10 13:06] – [Material] folmedo | ||
---|---|---|---|
Line 35: | Line 35: | ||
==== Material | ==== Material | ||
- | * G. Winskel, | + | * //Learn you a Haskell for great good: A beginner' |
- | * F. Nielson et al., //Semantics with Applications: | + | * //Programming in Haskell//. Hutton. G. Cambridge University Press. 2º Edición, 2016. ([[http://www.cs.nott.ac.uk/~pszgmh/pih.html|disponible online]]) |
- | * F. Nielson et al., //Principles of Program Analysis//, Springer, 2015 ([[https:// | + | * //Thinking functionally with Haskell//. Richard Bird. Cambridge University Press. |
- | * P.W. O' | + | |
- | * J. B. Almeida et al., //Rigorous Software Development: | + | |
- | * A. Appel et al., //Program Logics for Certified Compilers//, | + | |
- | * P. Cousot, //A Tutorial on Abstract Interpretation//, | + | |
- | + | ||
==== Contacto ==== | ==== Contacto ==== | ||
Federico Olmedo, Oficia 311N, [[folmedo@dcc.uchile.cl|email]] | Federico Olmedo, Oficia 311N, [[folmedo@dcc.uchile.cl|email]] | ||