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
Times are displayed in time zone: Beijing, Chongqing, Hong Kong, Urumqi change

15:30 - 17:00: Session 3APLAS NIER at Bali Room
15:30 - 16:00
Talk
Label-Dependent Session Types
APLAS NIER
Peter ThiemannUniversity of Freiburg, Germany, Vasco VasconcelosLASIGE, Faculty of Sciences, University of Lisbon
16:00 - 16:30
Talk
Space-Efficient Gradual Typing in Coercion-Passing Style
APLAS NIER
Atsushi IgarashiKyoto University, Japan, Yuya TsudaKyoto University, Tomoya TabuchiKyoto University
16:30 - 17:00
Talk
The Polynomial Complexity of Vector Addition Systems with States
APLAS NIER