APLAS 2025
Mon 27 - Thu 30 October 2025
Bengaluru, India
Toggle navigation
Attending
Venue: The International Institute of Information Technology Bangalore (IIIT Bangalore)
Registration
Visa Information
Accommodation Information
Travel Support
Local Information
Program
APLAS Program
Your Program
Mon 27 Oct
Tue 28 Oct
Wed 29 Oct
Thu 30 Oct
Tracks
APLAS 2025
Research Papers
Keynotes
SRC and Posters
ATVA and APLAS NIER
Organization
APLAS 2025 Committees
Organising Committee
Track Committees
Research Papers
SRC and Posters
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 2025
(
series
) /
Ryunosuke Endo
APLAS 2025 profile
conf.research.org general profile
ATVA 2025 profile
Not registered as user
Name:
Ryunosuke Endo
Affiliation:
Waseda University
Contributions
2025
APLAS
Reachability is Decidable for ATM-Typable Finitary PCF with Effect Handlers
Show activities from other conferences
Share
Using general profile
x
Wed 22 Oct 05:56