首页
探索
nav.journalClub
趋势
更多
Synapse
⌘+K
Synapse
语言
简体中文
简体中文
Daan Leijen | Synapse
DL
Daan Leijen
Logic, programming, and type systems
Microsoft (United States)
Share
Follow
Claim This Profile
About
Research focus
Logic, programming, and type systems
Impact
101 pubs · 2,516 cites · h-index 27
Affiliations
Microsoft (United States)
Microsoft Research (United Kingdom)
Seattle University
See all
Publications