bn:25051361n
Noun Named Entity
NL
Stephanie Weirich
EN
Stephanie Weirich is an American computer scientist specializing in type theory, type inference, dependent types, and functional programming. Wikipedia
Relations
Sources
IS A
DOCTORAL ADVISOR
FIELD OF WORK
GIVEN NAME
OCCUPATION
SEX OR GENDER
Wikidata