3 ms·
Check out Program Design by Calculation and The Algebra of Programming. Category theory and related formalisms do have a strong case to being a formal theory fo
by philzook 7y ago
Check out Program Design by Calculation and The Algebra of Programming. Category theory and related formalisms do have a strong case to being a formal theory for designing/calculating programs
http://www4.di.uminho.pt/~jno/ps/pdbc.pdf http://www4.di.uminho.pt/~jno/ps/pdbc.pdf
https://themattchan.com/docs/algprog.pdf https://themattchan.com/docs/algprog.pdf
- crimsonalucard 7y agoSuper interested in this and thanks for posting. Your first link is dead though. Do you have an alternative?
- feanaro 7y agohttp://web.archive.org/web/20190519200157/http://www4.di.uminho.pt/~jno/ps/pdbc.pdf http://web.archive.org/web/20190519200157/http://www4.di.umi...
- philzook 7y agoYes, thanks for this. It appears that maybe the entire university's website has changed location? So maybe a more official link will come back up soon