From: Tony Garnock-Jones (tonyg@kcbbs.gen.nz)
Date: Thu Nov 27 2003 - 01:16:39 MST
> The result of all of it was that you could produce some interesting
> architectures for specific computational tasks, but producing
> something that had general programming utility was damn hard. We just
> don't know how to do it well.
Are you familiar with the Pi Calculus of Milner, Parrow and Walker?
(http://citeseer.nj.nec.com/milner89calculus.html)
It is a concurrent calculus with the lambda calculus as one of its closest
non-concurrent analogues, and it can readily be extended into a full
programming language (as lambda can be extended into Scheme, ML etc).
Tony
This archive was generated by hypermail 2.1.5 : Wed Jul 17 2013 - 04:00:43 MDT