Write a Blog >>
APLAS 2019
Sun 1 - Wed 4 December 2019
Bali, Indonesia
Toggle navigation
Attending
Venue: Hotel Meliá Bali
Visa Information
Accomodation
Registration
Travel
Program
APLAS Program
Your Program
Sun 1 Dec
Mon 2 Dec
Tue 3 Dec
Wed 4 Dec
Tracks
APLAS 2019
Keynote Talks
PC Chair Report
Posters
Research Papers
APLAS NIER
APLAS Local Participants
Organization
APLAS 2019 Committees
Organizing Committee
Steering Committee
Track Committees
Research Papers
Organizing Committee
Program Committee
APLAS NIER
APLAS Local Participants
Contributors
People Index
Search
Series
Series
APLAS 2025
APLAS 2024
APLAS 2023
APLAS 2022
APLAS 2021
APLAS 2020
APLAS 2019
Sign in
Sign up
APLAS 2019
(
series
) /
Yuki Nishida
APLAS 2019 profile
conf.research.org general profile
APLAS 2020 profile
ICFP 2016 profile
ICFP 2017 profile
ICFP 2019 profile
ICFP 2020 profile
ICFP 2022 profile
ICFP 2023 profile
ICFP 2024 profile
SPLASH 2020 profile
SPLASH 2024 profile
Registered user since Tue 4 Apr 2017
Name:
Yuki Nishida
Affiliation:
Kyoto University
Contributions
2019
APLAS
Manifest Contracts with Intersection Types
Show activities from other conferences
Share
APLAS 2019-profile
View general profile
x
Tue 3 Dec 18:01