top | item 43566581 (no title) seumars | 11 months ago Any specific paper or article of his you would recommend? discuss order hn newest sitkack|11 months ago https://en.wikipedia.org/wiki/Predicate_transformer_semantic...Found in about 9 seconds. grahamlee|11 months ago _A Discipline of Programming_
sitkack|11 months ago https://en.wikipedia.org/wiki/Predicate_transformer_semantic...Found in about 9 seconds.
sitkack|11 months ago
Found in about 9 seconds.
grahamlee|11 months ago