Statements (13)
| Predicate | Object |
|---|---|
| gptkbp:instance_of |
gptkb:Computer_Scientist
|
| gptkbp:affiliation |
gptkb:INRIA
|
| gptkbp:contribution |
program verification
type inference algorithms |
| https://www.w3.org/2000/01/rdf-schema#label |
François Pottier
|
| gptkbp:known_for |
gptkb:C_programming_language
|
| gptkbp:publication |
Type Systems for Programming Languages
The Essence of Compiling with Continuations A Type System for the Analysis of Programs |
| gptkbp:research_areas |
type systems
formal methods |
| gptkbp:bfsParent |
gptkb:Wagram_Music
|
| gptkbp:bfsLayer |
6
|