Writing session-typed programs in Rust with Ferrite - Ruofei Chen [1/2]

Oregon Programming Languages Summer School (OPLSS) Foundations of Programming and Security June 14-26, 2021 https://is.gd/OPLSS2021 Topic: Writing session-typed programs in Rust with Ferrite Lecturer: Ruofei Chen (Independent Researcher) 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