Close Encounters of the Higher Kind - Emulating Constructor Classes in Standard ML (ML 2016)

Write a Blog >>

Sun 18 - Sat 24 September 2016 Nara, Japan

Who

Yutaka Nagashima, Liam O'Connor

Track

ML 2016

Time Zone

The program is currently displayed in (GMT+09:00) Osaka, Sapporo, Tokyo.

Use conference time zone: (GMT+09:00) Osaka, Sapporo, TokyoSelect 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 22 Sep 2016 15:45 - 16:10 at Conference Room 1 - Classes Chair(s): John Reppy

Abstract

We implement a library for encoding constructor classes in Standard ML, including elaboration from minimal definitions, and automatic instantiation of superclasses.

Link to Preprint

http://www.mlworkshop.org/2016-8.pdf

Yutaka Nagashima

Data61, Australia

Liam O'Connor

UNSW, Australia

Australia