Hacklab čita: B. Pierce - Software Foundations (10.09.2012. @ 19:30 h)
Počevši s 10.9., u hacklabu ćemo krenuti s čitanjem knjige Benjamina Piercea i dr., Software Foundations . Knjiga se bavi funkcijskim programiranjem, logikom te teorijom programskih jezika (lambda računom, statičkim tipiziranjem, ...) kroz prizmu Coqa , sustava za dokazivanje teorema koji je ujedno i funkcijski programski jezik. Nalazili bismo se jednom tjedno i diskutirali dijelove knjige i rješenja zadataka. Ideja za prvi sastanak je: upoznati se s knjigom, namjestiti radno okruženje za Coq na omiljenim nam operacijskim sustavima, dogovoriti način rada i plan i program za prvi tjedan. Počinjemo u 19:30 h.