Oregon programming languages summer school: Logic, Compilation, Verificationcs.uoregon.edu2 points·gtani··0 commentsOpen articleSaveView on HN