| ▲ | seumars 15 days ago | |
Any specific paper or article of his you would recommend? | ||
| ▲ | sitkack 15 days ago | parent | next [-] | |
https://en.wikipedia.org/wiki/Predicate_transformer_semantic... Found in about 9 seconds. | ||
| ▲ | grahamlee 15 days ago | parent | prev [-] | |
_A Discipline of Programming_ | ||