• Sign in
  • Sign up
conf.researchr.org / Nachiappan Valliappan
  • ICFP 2018 profile
  • ICFP 2020 profile
  • ICFP 2021 profile
  • ICFP 2022 profile
  • ICFP/SPLASH 2025 profile
  • POPL 2023 profile
Nachiappan Valliappan

Registered user since Wed 27 Jun 2018

Name:Nachiappan Valliappan
Country:United Kingdom
Affiliation:University of Edinburgh
Personal website: https://nachivpn.me/
Research interests:Programming languages, Type systems, Language-based security

Contributions

2025

ICFP

  • Committee Member in ICFP Programme Committee within the ICFP Papers-track

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
Share
xWed 18 Jun 21:53
using conf.researchr.org (v1.69.0)
Support page
Sign Up