Nachiappan Valliappan

Doktorand vid Informationssäkerhet
Image of Nachiappan Valliappan

Visar 6 publikationer

2020

Towards Secure IoT Programming in Haskell

Nachiappan Valliappan, Robert Krook, Alejandro Russo et al
Haskell 2020 - Proceedings of the 13th ACM SIGPLAN International Haskell Symposium, co-located with ICFP 2020, p. 136-150
Paper i proceeding
2019

Exponential Elimination for Bicartesian Closed Categorical Combinators

Nachiappan Valliappan, Alejandro Russo
Proceedings of the 21st International Symposium on Principles and Practice of Programming Languages 2019, p. 1-13
Paper i proceeding
2019

Simple Noninterference by Normalization

Carlos Tomé Cortiñas, Nachiappan Valliappan
Proceedings of the 14th ACM SIGSAC Workshop on Programming Languages and Analysis for Security , p. 61-72
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
2018

Typing the Wild in Erlang

Nachiappan Valliappan, John Hughes
Erlang 2018 Proceedings of the 17th ACM SIGPLAN International Workshop on Erlang, p. 49-60
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

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.