Lobsters
Oregon Programming Languages Summer School (OPLSS) 2025: Types, Logic, and Formal Methods https://lobste.rs/s/cga7nb #video #education #formalmethods #plt
https://www.cs.uoregon.edu/research/summerschool/summer25/topics.php
Oregon Programming Languages Summer School (OPLSS) 2025: Types, Logic, and Formal Methods | Lobsters

Jul 9 at 12:10pmWeb