bn:25051361n
Noun Named Entity
AR
No term available
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
SEX OR GENDER