Lars Hupel

URI: https://gptkb.org/entity/Lars_Hupel

GPTKB entity

Predicate	Object
gptkbp:instanceOf	gptkb:person
gptkbp:familyName	Hupel
gptkbp:givenName	gptkb:Lars
gptkbp:knownFor	gptkb:Isabelle_proof_assistant Scala programming
gptkbp:nationality	gptkb:German
gptkbp:occupation	gptkb:computer_scientist
gptkbp:bfsParent	gptkb:Typed_Scala
gptkbp:bfsLayer	8
http://www.w3.org/2000/01/rdf-schema#label	Lars Hupel