Comment on Compiling to λ-calculusparentComments−mattmight15yWould you like a "Compiling over to the pi-calculus" article?−russellallen15yDefinitely. If done in the same general style as your lambda calculus one I think it would be a great resource.−jsherman15yRegistered for HN just to say I'd love to see this−hughmanatee15yMatt, I've read several articles on your site and wanted to say thanks for writing them. I'd be very interested in reading an article about compiling to the pi-calculus.−maaku15ySomebody please write this.−mahmud15yYes please :-)
Comments
Would you like a "Compiling over to the pi-calculus" article?
Definitely. If done in the same general style as your lambda calculus one I think it would be a great resource.
Registered for HN just to say I'd love to see this
Matt, I've read several articles on your site and wanted to say thanks for writing them. I'd be very interested in reading an article about compiling to the pi-calculus.
Somebody please write this.
Yes please :-)