Modernizing Standard ML of New Jersey: A Status Report (Higher-order, Typed, Inferred, Strict: ML Family Workshop 2023 - Higher-order, Typed, Inferred, Strict: ML Family Workshop 2023)

Mon 4 - Sat 9 September 2023 Seattle, Washington, United States

Who

David MacQueen, John Reppy

Track

Higher-order, Typed, Inferred, Strict: ML Family Workshop 2023

Time Zone

The program is currently displayed in (GMT-07:00) Pacific Time (US & Canada).

Use conference time zone: (GMT-07:00) Pacific Time (US & Canada)Select 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

Fri 8 Sep 2023 09:30 - 10:00 at Grand Crescent - ML Workshop: Session 1 Chair(s): Jacques Garrigue

Abstract

This paper describes our ongoing efforts to modernize the Standard ML of New Jersey System

David MacQueen

University of Chicago (Emeritus)

John Reppy

University of Chicago, USA