Nachiappan Valliappan -

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

2023

POPL

Committee Member in Artifact Evaluation Committee within the Artifact Evaluation-track

PEPM

Author of Modular Construction of Multi-sorted Free Extensions within the PEPM 2023-track

2022

ICFP

Author of Normalization for Fitch-style Modal Calculi within the ICFP Papers and Events-track

TyDe

Author of Normalization by Evaluation with Free Extensions (Extended Abstract) within the TyDe 2022-track

2021

Haskell

Author of Practical Normalization by Evaluation for EDSLs within the Haskell 2021-track

2020

ICFP

Committee Member in Artifact Evaluation Committee within the Artifact Evaluation-track

Haskell

Author of Towards Secure IoT Programming in Haskell within the Haskell 2020-track

2018

Erlang

Author of Typing the Wild in Erlang within the Erlang 2018-track