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