HN
Hacker News
Top
New
Best
Ask
Show
Jobs
Comment by seumars | Hacker News Reader
Parent
Full thread
seumars
·
Any specific paper or article of his you would recommend?
View on HN
sitkack
·
https://en.wikipedia.org/wiki/Predicate_transformer_semantic...
Found in about 9 seconds.
grahamlee
·
_A Discipline of Programming_
Reply on news.ycombinator.com