Toggle navigation
Sign in
Sign up
conf.researchr.org
/
Nachiappan Valliappan
conf.researchr.org general profile
ICFP 2018 profile
ICFP 2020 profile
ICFP 2021 profile
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
Share
x
Sun 3 Jul 04:35