[coqpl'24] melocoton: a program logic for verified interoperability between ocaml and c (i...
Published 5 months ago • 38 plays • Length 1:02:19Download video MP4
Download video MP3
Similar videos
-
![[oopsla23] melocoton: a program logic for verified interoperability between ocaml and c](https://i.ytimg.com/vi/fK1Jm9ReClo/mqdefault.jpg)
18:19
[oopsla23] melocoton: a program logic for verified interoperability between ocaml and c
-
![[pldi24] verified extraction from coq to ocaml](https://i.ytimg.com/vi/LYR5Y6LyZoI/mqdefault.jpg)
20:54
[pldi24] verified extraction from coq to ocaml
-
3:24
2024-25 lib campus tv ep01 polly
-
5:31
intro to ocaml functional programming
-
9:40
what's new in qml.jl | janssens | juliacon 2024
-
58:01
asplos'24 - session 7b - program and configuration synthesis
-
![[popl 2021] coqpl: towards a coq specification for generalized algebraic datatypes in ocaml](https://i.ytimg.com/vi/OaNGJAdw5M8/mqdefault.jpg)
14:46
[popl 2021] coqpl: towards a coq specification for generalized algebraic datatypes in ocaml
-
![[ocaml'22] multicoretests - parallel testing libraries for ocaml 5.0](https://i.ytimg.com/vi/vxb6W6DqMGk/mqdefault.jpg)
18:07
[ocaml'22] multicoretests - parallel testing libraries for ocaml 5.0
-
![[popl'24] a formalization of core why3 in coq](https://i.ytimg.com/vi/c4QHpY5GhWU/mqdefault.jpg)
18:19
[popl'24] a formalization of core why3 in coq