Conversation

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

Liam O'Connor

@kamatsu8

Feb 17, 2021

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

Replying to

and

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?

2:55 AM · Feb 17, 2021Twitter Web App

Replying to

and

I don't know about Melbourne. Uni melb has some good people though, but I haven't heard of anything out of RMIT.

Brendan Zabarauskas

@brendanzab

Feb 17, 2021

Yeah I dunno. Hope it hasn't all died in favor of chasing blockchain and machine learning stuff. :( Anyway, I'm kind of past looking for bachelor courses at this stage. Feel like I'd rather just follow my nose in my learning, duct-taping research together 😅