Nachiappan Valliappan

Publikationer (9)
Projekt (0)

Visar 9 publikationer

2023

Modular Normalization with Types

Nachiappan Valliappan

Doktorsavhandling

Visa projekt

2022

Normalization for Fitch-Style Modal Calculi

Nachiappan Valliappan, Fabian Ruch, Carlos Tomé Cortiñas

Proceedings of the ACM on Programming Languages. Vol. 6 (ICFP)

Artikel i vetenskaplig tidskrift

2021

Practical normalization by evaluation for EDSLs

Nachiappan Valliappan, Alejandro Russo, Sam Lindley

Haskell 2021 - Proceedings of the 14th ACM SIGPLAN International Symposium on Haskell, co-located with ICFP 2021, p. 56-70

Paper i proceeding

Visa projekt

2020

Be My Guest: Normalizing and Compiling Programs using a Host Language

Nachiappan Valliappan

Licentiatavhandling

Visa projekt

2020

Towards Secure IoT Programming in Haskell

Nachiappan Valliappan, Robert Krook, Alejandro Russo et al

Haskell 2020 - Proceedings of the 13th ACM SIGPLAN International Symposium on Haskell, co-located with ICFP 2020, p. 136-150

Paper i proceeding

Visa projekt

2019

Simple Noninterference by Normalization

Carlos Tomé Cortiñas, Nachiappan Valliappan

Proceedings of the ACM Conference on Computer and Communications Security, p. 61-72

Paper i proceeding

Visa projekt

2019

Exponential Elimination for Bicartesian Closed Categorical Combinators

Nachiappan Valliappan, Alejandro Russo

ACM International Conference Proceeding Series, p. 1-13

Paper i proceeding

Visa projekt

2018

Typing the Wild in Erlang

Nachiappan Valliappan, John Hughes

Erlang 2018 - Proceedings of the 17th ACM SIGPLAN International Workshop on Erlang, co-located with ICFP 2018, p. 49-60

Paper i proceeding

2018

Towards adding variety to simplicity

Nachiappan Valliappan, Solène Mirliaz, Elisabet Lobo Vesga et al

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). Vol. 11247 LNCS, p. 414-431

Paper i proceeding

Ladda ner publikationslistor

Du kan ladda ner denna lista till din dator.

Filtrera och ladda ner publikationslista

Som inloggad användare hittar du ytterligare funktioner i MyResearch.

Du kan även exportera direkt till Zotero eller Mendeley genom webbläsarplugins. Dessa hittar du här:

Zotero Connector
Mendeley Web Importer

Tjänsten SwePub erbjuder uttag av Researchs listor i andra format, till exempel kan du få uttag av publikationer enligt Harvard och Oxford i .RIS, BibTex och RefWorks-format.

Det finns inga projekt att visa.

Det kan finnas fler projekt där Nachiappan Valliappan medverkar, men du måste vara inloggad som anställd på Chalmers för att kunna se dem.