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
View general profile