Short Paper: Weak Runtime-Irrelevant Typing for Security
Paper in proceeding, 2020
haskell
type checking
ghc
compilers
Author
Matthías Páll Gissurarson
Chalmers, Computer Science and Engineering (Chalmers), Information Security
Claudio Agustin Mista
Chalmers, Computer Science and Engineering (Chalmers), Information Security
PLAS 2020 - Proceedings of the 15th Workshop on Programming Languages and Analysis for Security
13-17
9781450380928 (ISBN)
Online, USA,
Subject Categories
Computer Engineering
Computer Science
Computer Systems
DOI
10.1145/3411506.3417595