Space-Efficient Gradual Typing in Coercion-Passing Style (APLAS 2019 - The 5th Workshop on New Ideas and Emerging Results in Programming Languages and Systems)

Write a Blog >>

Sun 1 - Wed 4 December 2019 Bali, Indonesia

Who

Atsushi Igarashi, Yuya Tsuda, Tomoya Tabuchi

Track

APLAS 2019 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 1 Dec 2019 16:00 - 16:30 at Bali Room - Session 3

Atsushi Igarashi

Kyoto University, Japan

Japan

Yuya Tsuda

Kyoto University

Japan

Tomoya Tabuchi

Kyoto University

Japan

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

Display full programSpecify a time band

Save

Session Program

Sun 1 Dec
Displayed time zone: Beijing, Chongqing, Hong Kong, Urumqi change

15:30 - 17:00	Session 3APLAS NIER at Bali Room

15:30 30m Talk		Label-Dependent Session Types APLAS NIER Peter Thiemann University of Freiburg, Germany, Vasco T. Vasconcelos LASIGE, Faculty of Sciences, University of Lisbon
16:00 30m Talk		Space-Efficient Gradual Typing in Coercion-Passing Style APLAS NIER Atsushi Igarashi Kyoto University, Japan, Yuya Tsuda Kyoto University, Tomoya Tabuchi Kyoto University
16:30 30m Talk		The Polynomial Complexity of Vector Addition Systems with States APLAS NIER Florian Zuleger TU Vienna