Types for Program Modules - Robert Harper

Oregon Programming Languages Summer School (OPLSS) Foundations of Programming and Security June 14-26, 2021 https://is.gd/OPLSS2021 Topic: Types for Program Modules Lecturer: Robert Harper (Carnegie Mellon University) OPLSS is a production of the Department of Computer and Information Science at the University of Oregon https://cs.uoregon.edu/ Copyright © 2021 by the University of Oregon This work is published under a Creative Commons Attribution-NonCommercial-NoDerivatives 4.0 International license. See https://is.gd/0WxWNM