Hacker News new | ask | show | jobs
by seumars 435 days ago
Any specific paper or article of his you would recommend?
2 comments
sitkack 435 days ago
https://en.wikipedia.org/wiki/Predicate_transformer_semantic...

Found in about 9 seconds.

link
grahamlee 435 days ago
_A Discipline of Programming_
link