Description
Schema della sezione
-
Teachers:
Davide Ancona (davide.ancona@unige.it), DIBRIS Univ. Genova
Elena Zucca (elena.zucca@unige.it), DIBRIS Univ. Genova
Period: 23 June - 27 June
Location: DIBRIS, via Dodecaneso 35
Format: one week (20 h) course including theory and practical (lab) session
Because of the compressed format, the course may be of interest for PhD students of other universities.
Summary: The course is a self-contained introduction to functional programming, logic programming, and the use of induction and coinduction. We will cover both foundational (inference systems, induction and co-induction, lambda calculus, type system and semantics) and practice/implementation (languages Haskell and Prolog) aspects in dealing with finite and infinite objects.
Exam: either a small project, or a seminar on the subject of the course.
-