Nachiappan Valliappan -

Registered user since Wed 27 Jun 2018

Name:Nachiappan Valliappan

Affiliation:Chalmers University of Technology, Sweden

Contributions

Haskell 2021	Author of Practical Normalization by Evaluation for EDSLs within the Haskell 2021-track
Haskell 2020	Author of Towards Secure IoT Programming in Haskell within the Haskell 2020-track
ICFP 2020	Committee Member in Artifact Evaluation Committee within the Artifact Evaluation-track
Erlang 2018	Author of Typing the Wild in Erlang within the Erlang 2018-track