Question: What type of programming language was created by Tony Hoare and can be seen implemented in the Elliot ALGOL complier? 
Sentence (from "Elliott ALGOL"): It was implemented by Tony Hoare and others.
Relevant evidence: Yes