Hacker Newsnew | past | comments | ask | show | jobs | submitlogin

The canonical, award winning version of these ideas is described in Ken Iverson's seminal 1979 paper 'Notation as a tool of thought'[0] - highly recommended to anyone who finds the ideas discussed interesting (even if they find the scientific american article lacking ... because it is)

[0] http://www.jsoftware.com/papers/tot.htm



Peter Naur's "Programming as Theory Building" (http://pages.cs.wisc.edu/~remzi/Naur.pdf) is also a closely related read.




Guidelines | FAQ | Lists | API | Security | Legal | Apply to YC | Contact

Search: