Daan Leijen

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

GPTKB entity

Predicate	Object
gptkbp:instanceOf	gptkb:person
gptkbp:almaMater	gptkb:Utrecht_University
gptkbp:birthPlace	gptkb:Netherlands
gptkbp:contributedTo	gptkb:Haskell_standard_libraries
gptkbp:developedBy	gptkb:Parsec gptkb:M_language gptkb:Koka XHaskell
gptkbp:doctoralAdvisor	gptkb:Erik_Meijer
gptkbp:employer	gptkb:Microsoft_Research
gptkbp:field	gptkb:programming_language functional programming type systems
gptkbp:hasPhD	yes
https://www.w3.org/2000/01/rdf-schema#label	Daan Leijen
gptkbp:knownFor	gptkb:Parsec gptkb:M_language gptkb:Haskell_programming_language Koka programming language
gptkbp:nationality	Dutch
gptkbp:occupation	gptkb:computer_scientist
gptkbp:bfsParent	gptkb:Haskell_Prime_committee gptkb:Typed_Koka gptkb:Typed_Typed_Koka
gptkbp:bfsLayer	7