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  6562 reads

Browse archivesActive forum topics 
Recent comments
2 hours 32 min ago
4 hours 29 min ago
12 hours 9 min ago
12 hours 13 min ago
12 hours 53 min ago
13 hours 12 min ago
21 hours 30 min ago
23 hours 34 min ago
1 day 52 min ago
1 day 1 hour ago