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