Logic, programming, and type systems
22 works
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.
42
Papers
1.4K
Citations
16
h-index
21
i10-index
E. A. Ashcroft is an academic researcher from London Bridge Hospital. The author has contributed to research in topics: Logic, programming, and type systems & Formal Methods in Verification & Parallel Computing and Optimization Techniques. The author has an h-index of 16, co-authored 36 publications.
Click to start Chat