ocaml 2021 - deductive verification of realistic ocaml code
Published 3 years ago • 279 plays • Length 24:47Download video MP4
Download video MP3
Similar videos
-
27:38
ml 2021 - cameleer: a deductive verification tool for ocaml
-
3:15:17
icfp'21 tutorials - deductive verification of ocaml programs in cameleer
-
24:55
ocaml 2021 - gopcaml: a structural editor for ocaml
-
10:52
ocaml 2021 - continuous benchmarking for ocaml projects
-
1:44:51
cameleer: a deductive verification tool for ocaml
-
10:33
cameleer: a deductive verification tool for ocaml
-
39:10
ocaml 2021 - 25 years of ocaml
-
5:31
intro to ocaml functional programming
-
11:42
the uncol problem - computerphile
-
1:02:26
solving problems the clojure way - rafal dittwald
-
14:38
ocaml 2021 - digodoc and docs
-
20:40
ocaml 2021 - ocaml and python: getting the best of both worlds
-
9:15:01
ocaml 2021 - full workshop
-
![[pldi24] verified extraction from coq to ocaml](https://i.ytimg.com/vi/LYR5Y6LyZoI/mqdefault.jpg)
20:54
[pldi24] verified extraction from coq to ocaml
-
![[ocaml'23] metaocaml theory and implementation](https://i.ytimg.com/vi/1fn1AEHeu2I/mqdefault.jpg)
28:51
[ocaml'23] metaocaml theory and implementation