H
oare_
T
ime.
P
artial_
E
valuation
HTML Presentation