The Utrecht Summer School offers a varied programme in the field of Science. Our programme covers various subjects including Mathematics, Computer Science, Machine Learning and Geosciences. These courses are offered at Advanced Bachelor, Master or Advanced Master level. All courses include the teaching format in the course description.
1 course(s) found
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…