Programming Languages 2 - 2018+ Μετρήστε τα παλίνδρομα σε Haskell Haskell, δέντρα QuickCheck Εικονικές μηχανές Συλλογή σκουπιδιών Εξαγωγή τύπων Δηλωτική σημασιολογία Συστήματα τύπων Γλώσσες σεναρίων