cotalks.dev

Devoxx Greece 2024 - Well-typed Programs Can Go Wrong: Enhancing the Reliability of Type Checkers...

(link)
Channel: Devoxx
note