IMPORTANTE: per sostenere l'esame nella sessione estiva contattare la docente via email prima del 20 giugno.
I ricevimenti sono sospesi dal 1 luglio al 25 agosto.
Il corso e' concluso con il colloquium + lezioni del prof. Philip Wadler
P. Wadler's textbook ``Programming Language Foundations in Agda" as a literate script in Agda, is freely available in:
plfa.inf.ed.ac.uk
github.com/plfa/plfa.github.io/
The book has so far been used for teaching at the Universities of Edinburgh and Vermont, and at Google Seattle.
The book was presented in a paper (of the same title) at the XXI Brazilian Symposium on Formal Methods, 28--30 Nov 2018, and is available here
note 2019 aggiornate al 6/6
Scrivetemi se trovate errori!
( new! vedi remark p.10 ed esercizi p.11)
| |