首页
探索
nav.journalClub
趋势
更多
Synapse
⌘+K
Synapse
语言
简体中文
简体中文
David A. Turner | Synapse
DA
David A. Turner
Logic, programming, and type systems
University of East Anglia
Share
Follow
Claim This Profile
About
Research focus
Logic, programming, and type systems
Impact
109 pubs · 3,133 cites · h-index 24
Affiliations
University of East Anglia
University of Liverpool
Intel (United States)
See all
Publications