News for hackers. Stuff that matters.

A comment on Introduction To Program Synthesis (2018).

Re:Introduction To Program Synthesis (2018) by agumonkey on Sunday August 08, 2021 @01:30AM (#28104419)
I also tried to read mathematics of program construction (similar spirit I assume) with Gibbons et al.

https://duckduckgo.com/?q=mathematics+program+construction&t...

[ Parent | on HN ]

There are no comments on this comment yet.