Aarhus Universitets logo
English
10 minutes to introduce your research. This is the concept of The Computer Science Day which takes place in 5335-016 Peter Bøgh Auditorium, on Friday…
Abstract: ------------- Modern-day software is increasingly complex and software engineering is commonly accepted as a challenging, error-prone task.…
Types help programmers to write clear and correct programs. I will present recent developments in type theory which will allow us to write bigger…
Side 47 af 80