Neat list of resources on programming language and type system semantics, with examples in Coq! ✨ From a course by and Gert Smolka. Wish they taught this kind of thing in Aussie universities… 🥺
courses.ps.uni-saarland.de/sem_ws1718/3/R
Conversation
Thanks for the link, looks like really good material for what I am currently learning!
1
I used to teach it at UNSW. And there are other courses at UNSW in that wheelhouse too.
1
1
Oh nice. Guess Melbourne Unis might not be as good for that stuff? 😕 Dropped out of RMIT when I realised all they were teaching was outdated software engineering in their CS program. Was a good number years ago though - things might have improved since then?
1
Show replies


