FSCD 2017
Mon 4 - Thu 7 September 2017
Oxford, United Kingdom
co-located with
ICFP 2017
Toggle navigation
Attending
Venue: Mathematical Institute
Program
FSCD Program
Your Program
Mon 4 Sep
Tue 5 Sep
Wed 6 Sep
Thu 7 Sep
Track/Call
Organization
FSCD 2017 Committees
Not available
Contributors
People Index
Search
Series
Sign in
Sign up
ICFP 2017
(
series
) /
FSCD 2017 (
series
) /
Théo Winterhalter
ICFP 2017 profile
conf.research.org general profile
ICFP 2018 profile
ICFP 2022 profile
ICFP 2024 profile
ICFP/SPLASH 2025 profile
POPL 2019 profile
POPL 2020 profile
POPL 2021 profile
POPL 2023 profile
POPL 2024 profile
Registered user since Wed 7 Mar 2018
Name:
Théo Winterhalter
Affiliation:
ENS Paris-Saclay, France
Contributions
2017
ICFP
Normalization by Evaluation for Sized Dependent Types
Show activities from other conferences
Share
ICFP 2017-profile
View general profile
x
Fri 22 Nov 01:39