Statements (25)
| Predicate | Object |
|---|---|
| gptkbp:instanceOf |
gptkb:person
|
| gptkbp:coauthor |
gptkb:Brian_Goetz
gptkb:Martin_Odersky gptkb:Gilad_Bracha gptkb:Erik_Meijer Mads Torgersen Peter Sewell |
| gptkbp:education |
gptkb:University_of_Cambridge
|
| gptkbp:employer |
gptkb:Microsoft
|
| gptkbp:field |
gptkb:programming_language
type systems |
| gptkbp:formerPosition |
gptkb:University_of_Cambridge
gptkb:Oracle_Labs |
| gptkbp:nationality |
British
|
| gptkbp:notableWork |
C# language design
Java language design Lambda expressions in Java Pattern matching in Java Records in Java |
| gptkbp:occupation |
gptkb:computer_scientist
gptkb:programming_language_designer |
| gptkbp:bfsParent |
gptkb:JEP_440:_Record_Patterns
gptkb:JEP_441:_Pattern_Matching_for_switch |
| gptkbp:bfsLayer |
7
|
| https://www.w3.org/2000/01/rdf-schema#label |
Gavin Bierman
|