Translating dependency into parametricity (Q5178029)
From MaRDI portal
scientific article; zbMATH DE number 6413041
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | Translating dependency into parametricity |
scientific article; zbMATH DE number 6413041 |
Statements
Translating dependency into parametricity (English)
0 references
9 March 2015
0 references
DCC
0 references
Haskell
0 references
dependency
0 references
information flow
0 references
lambda calculus
0 references
logical relations
0 references
monads
0 references
noninterference
0 references
parametricity
0 references
polymorphism
0 references
protection contexts
0 references
security
0 references
translation
0 references
