Unfortunately, Windows does not support Rocq and the libraries we are using well. If you can use either Linux or MacOS instead, please follow the instructions below ...

We saw that we can represent the syntax of a program as an abstract syntax tree (AST), an algebraic data type that reflects the shape of the program. Syntax is, for our purposes, the "easy" part of ...

Here you can find a number of courses that are offered at PhD level at CLASP, as part of the PhD degree in Computational Linguistics. Some of the courses are reading courses. See each course for more ...

The target group is PhD candidates and second-year RM students who do have general linguistic knowledge but who have not (yet) written papers in the specific subject of your course. In this course, ...

Abstract: In this paper, we present a software module developed for the course Semantics of Programming Languages. This software will be part of the intended comprehensive software package to simplify ...

For those who study the course on campus, teaching takes place in the Faculty of Humanities' premises in central Gothenburg. Renströmsgatan 6. For those who study the course remotely, teaching takes ...