Home
Explore
Journal Club
Trending
More
Synapse
⌘+K
Sign In
Sign Up for Free
Synapse
Sign In
Sign Up for Free
Language
English
English
EH
Edward H. McCall
Logic, programming, and type systems
University of Minnesota
Share
Follow
Claim This Profile
About
Research focus
Logic, programming, and type systems
Impact
5 pubs · 33 cites · h-index 2
Affiliations
University of Minnesota
Publications