APLAS 2024
Tue 22 - Fri 25 October 2024
Kyoto
Toggle navigation
Attending
Venue: Shirankaikan (Kyoto University medical school area)
Registration
Social Events
Program
APLAS Program
Your Program
Tue 22 Oct
Wed 23 Oct
Thu 24 Oct
Fri 25 Oct
Tracks
APLAS 2024
Events
Keynote
- How to design, document, and implement programming languages
- K-Pop the Ultimate Compilation: No Kernel Left Behind
- High-Order Fixpoint Logic for Automated Program Verification
SRC & Posters
Research Papers
APLAS NIER
Organization
APLAS 2024 Committees
Organizing Committee
Track Committees
SRC & Posters
Organizer
SRC & Posters
Judges
SRC & Posters
Selection Committee
Research Papers
Organizing Committee
Research Papers
Program Committee
Research Papers
Steering Committee
Contributors
People Index
Search
Series
Series
APLAS 2024
APLAS 2023
APLAS 2022
APLAS 2021
APLAS 2020
APLAS 2019
Sign in
Sign up
APLAS 2024 (
series
) /
Pierre-Evariste Dagand
APLAS 2024 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
PLDI 2019 profile
PLDI 2020 profile
PLDI 2021 profile
PLDI 2024 profile
PLDI, ECOOP, Curry On, DEBS, LCTES and ISMM profile
POPL 2018 profile
PPoPP 2018 profile
SPLASH 2023 profile
Registered user since Sun 5 Mar 2017
Name:
Pierre-Evariste Dagand
Country:
France
Affiliation:
IRIF / CNRS
Personal website:
http://evr.ist
Contributions
2024
APLAS
Random-access lists, from EE to FP
Session Chair of Type theory and Semantic Frameworks II (part of Research Papers)
Committee Member in Program Committee within the Research Papers-track
Show activities from other conferences
Share
APLAS 2024-profile
View general profile
x
Thu 21 Nov 10:42