4 ms·
But I have now discovered a way of getting the three major traditions in the exploration of the theory of programming under the same umbrella. It’s so simple I
by tuukkah 15y ago
But I have now discovered a way of getting the three major traditions in the exploration of the theory of programming under the same umbrella. It’s so simple I can tell people in 20 minutes what it’s all about.
Anyone have a link to an exposition?
- stiff 15y agoI found this: http://research.microsoft.com/apps/pubs/default.aspx?id=68626 http://research.microsoft.com/apps/pubs/default.aspx?id=6862... http://www.unifyingtheories.org/ http://www.unifyingtheories.org/
- tuukkah 15y agoThat's what he calls the first attempt 13 years ago.
- tuukkah 15y agoFinally found this from last month, but I don't think people will understand in 20 minutes: An Algebra for Program Designs http://research.microsoft.com/en-us/um/redmond/events/sssev2011/slides/tony_2.pptx http://research.microsoft.com/en-us/um/redmond/events/sssev2...
- pasbesoin 15y agoFor the PowerPoint avoidant (including myself): http://docs.google.com/gview?url=http%3A%2F%2Fresearch.microsoft.com%2Fen-us%2Fum%2Fredmond%2Fevents%2Fsssev2011%2Fslides%2Ftony_2.pptx http://docs.google.com/gview?url=http%3A%2F%2Fresearch.micro...