Metatheory of $\mu$F*

fstar-logo

Cătălin Hriţcu (Inria Paris)

Type Systems for Security Verification Lecture

Saarland University

Tuesday, 24 March 2015

Sorry for the homework mess

Projects

Metatheory of $\mu$F*

tiny-fstar.txt

Semantic Purity and Effects Reunited in F*
(Draft, March 2015)