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

Browse archives
Active forum topics

Recent comments
2 weeks 2 days ago
3 weeks 5 hours ago
3 weeks 1 day ago
3 weeks 1 day ago
3 weeks 6 days ago
4 weeks 2 days ago
4 weeks 2 days ago
4 weeks 2 days ago
5 weeks 4 days ago
5 weeks 6 days ago