06 Dependent Types Effects and Efficient Verification Conditions in F star

Published September 3, 2015

Views 1.77K | Likes 31 | Comments 1

Views#1,952,063

Views#654,051

Channel

ICFP Video

3.82K subs•578 videos•Sep 2015

Views, likes & comments over time

Tap on chart to see values

Views gained (weekly) · 6 mo

Likes gained (weekly) · 6 mo