On this page you can find all the courses and tracks offered by the Utrecht Summer School. Detailed information is published on all individual course pages.
2 course(s) found
The focus of the Mathematics Education course is bringing participants up to date in curriculum development and research in the field of mathematics education, and refreshing and deepening the knowledge of meaningful and relevant mathematics education. Topics will include curriculum development, revealing and building on talents of students, task design, classroom experiments and lesson study, contexts and tools for modelling and inquiry-based…
Typed functional programming languages allow for the rapid development of robust programmes. This course explores some of the more advanced language features of Haskell, a state-of-the-art functional programming language, together with some of its theoretical background. The course aims to teach not only the more advanced Haskell features, such as GADTs or type families, but also the underlying theory. Besides the lectures, there are numerous…