The 21st annual Oregon Programming
Languages Summer School (OPLSS) will be held from June 26th to July 8th, 2023 at the University of Oregon. The theme will be "types, semantics, and logic" and is being organized by Zena Ariola, Stephanie Balzer, and myself. More details, soon!
A Mastodon instance for programming language theorists and mathematicians. Or just anyone who wants to hang out.
@fancytypes is this open to muggles?