discu
Newsletters
Mentions
Extension
Pricing
Login
Sign Up
Hacker News
Dafny Power User: Type-parameter modes: variance and cardinality preservation
https://leino.science/papers/krml280.html
0 comments
9/5/2024
Lobsters
Dafny Power User: Type-parameter modes: variance and cardinality preservation
https://leino.science/papers/krml280.html
0 comments
9/5/2024
formalmethods , plt