An OCaml use case for strong call-by-need reduction (ML 2022)

Sun 11 - Fri 16 September 2022 Ljubljana, Slovenia

Who

Gabriel Scherer, Nathanaëlle Courant

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:40 - 15:00 at Štih - Tools & Metaprogramming Chair(s): Ningning Xie

Abstract

We describe a use-case for strong call-by-need reduction in the OCaml compiler (which could apply to any programming language with a sufficiently rich module language), and our implementation of a strong call-by-value evaluator.

Gabriel Scherer

INRIA Saclay

France

Nathanaëlle Courant

INRIA