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!
@fancytypes is this open to muggles?
