Logic, programming, and type systems
9 works
Amherst College(US)
Claim or correct this author profile
Claim this profile or suggest corrections to the name, affiliation, bio, photo, or paper titles. Approved changes appear as verified CitedEvidence overlays.
14
Papers
188
Citations
8
h-index
7
i10-index
Ernie Manes is an academic researcher from Amherst College. The author has contributed to research in topics: Logic, programming, and type systems & Logic, Reasoning, and Knowledge & Advanced Algebra and Logic. The author has an h-index of 8, co-authored 12 publications.
Click to start Chat