[fonc] Old Boxer Paper

2013-03-27 Thread Francisco Garau
It reminds me of scratch etoys http://www.soe.berkeley.edu/boxer/20reasons.pdf - Francisco ___ fonc mailing list fonc@vpri.org http://vpri.org/mailman/listinfo/fonc

Re: [fonc] Binary Lambda Calculus

2013-03-27 Thread Jan Wedekind
On Mon, 25 Mar 2013, Chris Warburton wrote: John Carlson yottz...@gmail.com writes: So is anyone looking at binary parser generators? It would seem like something like this would have been done ages ago. Brings to mind Every Bit Counts. It's a library for serialising and deserialising

Re: [fonc] Old Boxer Paper

2013-03-27 Thread Alan Kay
Yep, it had some good ideas. Cheers, Alan From: Francisco Garau fga...@gmail.com To: fonc@vpri.org fonc@vpri.org Sent: Wednesday, March 27, 2013 12:51 AM Subject: [fonc] Old Boxer Paper It reminds me of scratch etoys

Re: [fonc] Binary Lambda Calculus

2013-03-27 Thread Andre van Delft
On this issue: * How does parallel processing fit into the picture? the following may be useful: In 1989 Henk Goeman combined Lambda Calculus with concepts from concurrency directly, in his paper Towards a Theory of (Self) Applicative Communicating Processes: a Short Note. The PDF is available

Re: [fonc] Binary Lambda Calculus

2013-03-27 Thread Tony Garnock-Jones
On 27 March 2013 09:58, Andre van Delft andre.vande...@gmail.com wrote: In 1989 Henk Goeman combined Lambda Calculus with concepts from concurrency directly, in his paper Towards a Theory of (Self) Applicative Communicating Processes: a Short Note. The PDF is available at