Proof-oriented Programming in F* - Nikhil Swamy [2/4]
Channel: OPLSS
Date: 2021-07-28

Oregon Programming Languages Summer School (OPLSS)
Foundations of Programming and Security
June 14-26, 2021
https://is.gd/OPLSS2021

Topic: Proof-oriented Programming in F*
Lecturer: Nikhil Swamy (Microsoft Research)

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