Reasoning About Program Behavior Algebraically [pdf]

Article URL: http://ift.tt/2BFHllK

Comments URL: http://ift.tt/2ppbN0H

Points: 4

# Comments: 2

---

hnrss is a labor of love, but if the project has made your job or hobby project easier and you want to show some gratitude, donations are very much appreciated. PayPal and Bitcoin both accepted. Thanks!

from Hacker News: Front Page http://ift.tt/2BFHllK
via