User loginNavigation 
Algebra of ProgrammingI believe this book has been mentioned before in some discussions on here and I have asked some questions about it myself though I have not really read it that carefully. I have recently leafed over a copy of this book at the local university library and I am wondering on some level what the motivation behind this work is. A quick skim seems to suggest some notion of equivalences between certain kinds of programs but (I hope this isnt a stupid question) I do wonder what the utility of such notions are in this situation. Some help would be greatly appreciated :). By Carter Cheng at 20110403 00:52  LtU Forum  previous forum topic  next forum topic  other blogs  8489 reads

Browse archives
Active forum topics

Recent comments
19 weeks 3 days ago
23 weeks 5 days ago
25 weeks 2 days ago
25 weeks 2 days ago
28 weeks 7 hours ago
32 weeks 4 days ago
32 weeks 4 days ago
33 weeks 18 hours ago
33 weeks 18 hours ago
35 weeks 6 days ago