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.

Brendan Zabarauskas

@brendanzab

Feb 17, 2021

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?

Liam O'Connor

@kamatsu8

Feb 17, 2021

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

Replying to

and

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 😅

3:32 AM · Feb 17, 2021Twitter Web App