Follow
Nachiappan Valliappan
Nachiappan Valliappan
Postdoctoral research fellow, University of Edinburgh
Verified email at ed.ac.uk - Homepage
Title
Cited by
Cited by
Year
Normalization for fitch-style modal calculi
N Valliappan, F Ruch, C Tomé Cortiñas
Proceedings of the ACM on Programming Languages 6 (ICFP), 772-798, 2022
142022
Towards secure IoT programming in Haskell
N Valliappan, R Krook, A Russo, K Claessen
Proceedings of the 13th ACM SIGPLAN International Symposium on Haskell, 136-150, 2020
102020
Typing the wild in Erlang
N Valliappan, J Hughes
Proceedings of the 17th ACM SIGPLAN International Workshop on Erlang, 49-60, 2018
82018
Towards adding variety to simplicity
N Valliappan, S Mirliaz, E Lobo Vesga, A Russo
Leveraging Applications of Formal Methods, Verification and Validation …, 2018
82018
Practical normalization by evaluation for EDSLs
N Valliappan, A Russo, S Lindley
Proceedings of the 14th ACM SIGPLAN International Symposium on Haskell, 56-70, 2021
42021
Simple Noninterference by Normalization
C Tomé Cortiñas, N Valliappan
Proceedings of the 14th ACM SIGSAC Workshop on Programming Languages and …, 2019
42019
Exponential Elimination for Bicartesian Closed Categorical Combinators
N Valliappan, A Russo
Proceedings of the 21st International Symposium on Principles and Practice …, 2019
42019
Fitch-style applicative functors
N Valliappan, F Ruch
Draft, 2023
12023
Be My Guest: Normalizing and Compiling Programs Using a Host Language
N Valliappan
PQDT-Global, 2020
12020
Typing the Untypeable in Erlang-A static type system for Erlang using Partial Evaluation
N Valliappan
12018
Modular Normalization with Types
N Valliappan
Chalmers Tekniska Hogskola (Sweden), 2023
2023
Modular construction of multi-sorted free extensions (short paper)
G Allais, N Corbyn, O Kammar, N Valliappan, S Lindley, J Yallop
Normalization by Evaluation with Free Extensions
N Corbyn, O Kammar, S Lindley, N Valliappan, J Yallop
Semantic Analysis of Normalization by Evaluation for Fitch-Style Modal Lambda Calculi
N Valliappan, F Ruch, CT Cortinas
The system can't perform the operation now. Try again later.
Articles 1–14