You know the lambda calculus. But do you know about pi-calculus? If you, like me, are interested in systematic solutions to computing parallelization, maybe you should.
Mark Chu-Carroll starts what promises to be an interesting series on designing a programming language based on the pi-calculus in An Experiment with p-calculus and Programming Language Design.
[Edit: Changed the pi symbol to the word pi since .Text is transliterating it to 'p'! That would have been a good example for my internationalization presentation last week...]
Post a Comment