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
Roast topics
Find topics
Find it!
Or: How to help students actually understand those intimidating inference rules.
