홈
탐색
nav.journalClub
트렌드
더보기
Synapse
⌘+K
Synapse
언어
한국어
한국어
William E. Byrd | Synapse
WE
William E. Byrd
Logic, programming, and type systems
University of Alabama at Birmingham
Share
Follow
Claim This Profile
About
Research focus
Logic, programming, and type systems
Impact
140 pubs · 4,549 cites · h-index 34
Affiliations
University of Alabama at Birmingham
University of California, San Francisco
University of California, Berkeley
See all
Publications