filmov
tv
[ML'22] Necro ML: Generating OCaml Interpreters
Показать описание
Necro ML: Generating OCaml Interpreters
Louis Noizet (Univ. Rennes 1)
Alan Schmitt (Inria)
We present Necro ML, a tool which allows to generate OCaml interpreters from skeletal semantics, a minimalist semantics description language. These interpreters are modular, in the sense that they rely on monads to handle different ways to interpret computations.
Louis Noizet (Univ. Rennes 1)
Alan Schmitt (Inria)
We present Necro ML, a tool which allows to generate OCaml interpreters from skeletal semantics, a minimalist semantics description language. These interpreters are modular, in the sense that they rely on monads to handle different ways to interpret computations.
![[ML'22] Necro ML:](https://i.ytimg.com/vi/SmPvR6g4cHY/hqdefault.jpg)
0:13:37
![[ML'22] Unboxed types](https://i.ytimg.com/vi/Vevld4cXSYk/hqdefault.jpg)
0:16:43
0:36:02
0:20:19
0:02:24
0:03:08
0:51:34
3:07:10
![[POPL'23] Witnessability of](https://i.ytimg.com/vi/3SPNPfA049I/hqdefault.jpg)
0:22:09