"programming as theory building", peter naur, 1985
@mntmn reminds me of stuff that Kate Compton is working on. 🤔 haven't read her thesis yet, maybe she actually cites him ^__^
@mntmn reminds me of stuff that Kate Compton is working on. 🤔 haven't read her thesis yet, maybe she actually cites him ^__^