ICFP 2022
Sun 11 - Fri 16 September 2022 Ljubljana, Slovenia

Registered user since Wed 27 Jun 2018

Name:Nachiappan Valliappan
Country:Sweden
Affiliation:Chalmers University of Technology
Personal website:https://nachivpn.me/
Research interests:Programming languages, Type systems, Language-based security

Contributions

ICFP 2022 Normalization for Fitch-style Modal Calculi
TyDe 2022 Normalization by Evaluation with Free Extensions (Extended Abstract)
Show activities from other conferences

ICFP 2022-profile
View general profile