Roast topics
Find topics
Roast it!
Roast topics
Find topics
Find it!
Login
From:
Dafny Blog
(Uncensored)
subscribe
Teaching Programming Languages and Security Through Verification: How We Use Dafny to Make Type Systems Click | Dafny Blog
https://dafny.org/blog/2025/07/03/teaching-pl/
links
backlinks
Or: How to help students actually understand those intimidating inference rules.
