Lars Hupel

URI: https://gptkb.org/entity/Lars_Hupel
GPTKB entity
Statements (10)
Predicate Object
gptkbp:instanceOf gptkb:person
gptkbp:familyName Hupel
gptkbp:givenName gptkb:Lars
https://www.w3.org/2000/01/rdf-schema#label Lars Hupel
gptkbp:knownFor gptkb:Isabelle_proof_assistant
Scala programming
gptkbp:nationality gptkb:German
gptkbp:occupation gptkb:computer_scientist
gptkbp:bfsParent gptkb:Typed_Scala
gptkbp:bfsLayer 7