Write a Blog >>
APLAS 2019
Sun 1 - Wed 4 December 2019 Bali, Indonesia
Sun 1 Dec 2019 16:00 - 16:30 at Bali Room - Session 3

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