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
) /
Masayuki Mizuno
APLAS 2019 profile
conf.research.org general profile
Not registered as user yet
Name:
Masayuki Mizuno
Affiliation:
Tohoku University
Contributions
2019
APLAS
Formal Verifications of Call-by-Need and Call-by-Name Evaluations with Mutual Recursion
Show activities from other conferences
Share
APLAS 2019-profile
View general profile
x
Wed 4 Dec 01:03