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 2011-04-03 00:52 | LtU Forum | previous forum topic | next forum topic | other blogs | 8538 reads
|
Browse archives
Active forum topics |
Recent comments
6 weeks 19 hours ago
6 weeks 22 hours ago
6 weeks 22 hours ago
28 weeks 2 days ago
32 weeks 4 days ago
34 weeks 1 day ago
34 weeks 1 day ago
36 weeks 6 days ago
41 weeks 3 days ago
41 weeks 3 days ago