EWD821: From Predicate Transformers to Predicates

Month

April 20

Note

Original‚ handwritten‚ “Dedicated by the Tuesday Afternoon Club to C. A. R. Hoare at the occasion of his being elected Fellow of the Royal Society”

Year

1982