De studerende vil kunne forstå og anvende forskellige moderne type systemer og vil kunne tilpasse dem til en konkret anvendelse.
Læringsmål:
En studerende, der fuldt ud har opfyldt kursets mål, vil kunne:
forklare de basale begreber introduceret i kurset
forklare konkrete type systemer og deres anvendelser på simple programmer
forklare typen af egenskaber der kan udtrykkes med type systemer
tilpasse givne type systemer til konkrete anvendelser
implementere en simple type inferens algoritme
redegøre for korrektheden af det resulterende type system og type inferens algoritme
opnå ovennævnte resultater som en del af et gruppearbejde men med selvstændigt ansvar for resultatet
skrive en rapport der klart beskriver resultater og metoder
give en præsentation der klar beskriver de væsentligste resultater og metoder
Kursusindhold:
Kurset vil omfatte (1) typer og metoder til type inferens, (2) typer for fysiske dimensioner i beregninger, og (3) typer for kommunikation i IT systemer. Det præcise udvalg af emner vil kunne variere fra år til år.
