Oregon Programming Languages Summer School

Types, Logic, Semantics, and Verification

University of Oregon — Eugene OR

June 15-27, 2015

Sponsors:

June 15-27, 2015

Types, Logic, Semantics, and Verification

© University of Oregon Department of Computer and Information Science, 1202 University of Oregon, Eugene OR 97403-1202