Conversation

Brendan Zabarauskas

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

A screenshot of the linked page on resources for learning about type system semantics.

read image description

ALT

1:40 AM · Feb 17, 2021Twitter Web App

Replying to

and

Thanks for the link, looks like really good material for what I am currently learning!

1

Replying to

and

I used to teach it at UNSW. And there are other courses at UNSW in that wheelhouse too.

1

1

Brendan Zabarauskas

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