Home
Explore
Journal Club
Trending
More
Synapse
⌘+K
Synapse
Language
English
English
CO
Cyrus Omar
Logic, programming, and type systems
University of Michigan
Share
Follow
Claim This Profile
About
Research focus
Logic, programming, and type systems
Impact
55 pubs · 656 cites · h-index 12
Affiliations
University of Michigan
University of Michigan–Flint
University of Chicago
See all
Publications