3 ms·
Adrian is a great guy and I highly recommend all his content. For undergrad level PL, I highly recommend Dan Grossman's MOOC[0] or recent class recorded lectur
by darzu 4y ago
Adrian is a great guy and I highly recommend all his content.
For undergrad level PL, I highly recommend Dan Grossman's MOOC[0] or recent class recorded lectures[1]. Dan's thesis work strongly influenced Rust's borrow checker.
Disclosure: Dan advised me in undergrad and Adrian is a friend.
[0] https://www.coursera.org/learn/programming-languages https://www.coursera.org/learn/programming-languages
[1] https://courses.cs.washington.edu/courses/cse341/19sp/ https://courses.cs.washington.edu/courses/cse341/19sp/ (ctrl-f "Videos")
- JonChesterfield 4y agoThat sounded interesting. I think it's probably this Dan, https://homes.cs.washington.edu/~djg/publications/ https://homes.cs.washington.edu/~djg/publications/, making said thesis "Safe programming at the C level of abstraction", https://homes.cs.washington.edu/~djg/papers/grossman_thesis.pdf https://homes.cs.washington.edu/~djg/papers/grossman_thesis....