Lecture material on dependent types

Moderator: Type Systems of Programming Languages

erdweg
Moderator
Moderator
Beiträge: 60
Registriert: 28. Mär 2013 10:08

Lecture material on dependent types

Beitrag von erdweg »

The source code and PDF ("TSPL20_21-advanced_topics.pdf") is available in our subversion repository (https://repository.st.informatik.tu-dar ... tspl/ws13/).

The homework assignment for this week follows until tomorrow morning.

Cheers,
Sebastian

Zurück zu „Type Systems of Programming Languages“