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 | 8684 reads
|
Browse archives
Active forum topics |
Recent comments
28 weeks 5 days ago
28 weeks 6 days ago
28 weeks 6 days ago
51 weeks 8 hours ago
1 year 3 weeks ago
1 year 4 weeks ago
1 year 4 weeks ago
1 year 7 weeks ago
1 year 12 weeks ago
1 year 12 weeks ago