I'm looking to revamp my PL / verification graduate course. Any courses to look at for inspiration?
-
-
Also here are some assignments for a more system-y verification course https://courses.cs.washington.edu/courses/cse599w/16sp/assignments/ …
-
these assignments look great! i might steal some of them :)
End of conversation
New conversation -
Loading seems to be taking a while.
Twitter may be over capacity or experiencing a momentary hiccup. Try again or visit Twitter Status for more information.