Necro ML: Generating OCaml Interpreters (ML 2022)

Sun 11 - Fri 16 September 2022 Ljubljana, Slovenia

Who

Louis Noizet, Alan Schmitt

Track

ML 2022

Time Zone

The program is currently displayed in (GMT+02:00) Belgrade, Bratislava, Budapest, Ljubljana, Prague.

Use conference time zone: (GMT+02:00) Belgrade, Bratislava, Budapest, Ljubljana, PragueSelect other time zone

The GMT offsets shown reflect the offsets at the moment of the conference.

Time Band

By setting a time band, the program will dim events that are outside this time window. This is useful for (virtual) conferences with a continuous program (with repeated sessions).
The time band will also limit the events that are included in the personal iCalendar subscription service.

Display full programSpecify a time band

Save

When

Thu 15 Sep 2022 14:00 - 14:20 at Štih - Tools & Metaprogramming Chair(s): Ningning Xie

Abstract

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.

Link to Preprint

https://louis.noizet.fr/laboro/ML_ICFP_preprint.pdf

File attachments

slides (slides.pdf)	1.63MiB

Louis Noizet

Univ. Rennes 1

France

Alan Schmitt

Inria