bn:25051361n
Noun Named Entity
EL
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