Environment-Friendly Monadic Equational Reasoning for OCaml (APLAS 2023 - The 6th Workshop on New Ideas and Emerging Results in Programming Languages and Systems)

Sun 26 - Wed 29 November 2023 Taipei, Taiwan

Who

Jacques Garrigue, Reynald Affeldt, Takafumi Saikawa

Track

APLAS 2023 APLAS NIER

Time Zone

The program is currently displayed in (GMT+08:00) Beijing, Chongqing, Hong Kong, Urumqi.

Use conference time zone: (GMT+08:00) Beijing, Chongqing, Hong Kong, UrumqiSelect 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

Sun 26 Nov 2023 15:30 - 16:00 at Room 106 & 107, IIS - NIER Session 2 Chair(s): Anthony Widjaja Lin

File attachments

Slides (friendly-slides-nier2023.pdf)	206KiB
Abstract (friendly-nier.pdf)	236KiB

Jacques Garrigue

Nagoya University

Japan

Reynald Affeldt

National Institute of Advanced Industrial Science and Technology (AIST), Japan

Takafumi Saikawa