Statements (11)
| Predicate | Object |
|---|---|
| gptkbp:instanceOf |
gptkb:physicist
|
| gptkbp:affiliation |
gptkb:Inria
|
| gptkbp:contribution |
Security in Software
Type_Systems |
| https://www.w3.org/2000/01/rdf-schema#label |
Gilles Barthe
|
| gptkbp:knownFor |
Formal Methods
|
| gptkbp:publications |
The Essence of Functional Programming
Proofs and Types A Survey of Type Systems for Security |
| gptkbp:researchAreas |
Programming Languages
Software Verification |