Aarhus University logo
Dansk
Title
tba
Abstract
----------------
Everyone is welcome!
There will be refreshments after the lecture.
The graduation ceremonies are the Department's opportunity to congratulate and celebrate our student who have graduated.
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…
Page 80 of 190
