pi calculus

π: a pattern language

Lambda the Ultimate - Programming Languages Weblog  Wed, 10/28/2009 - 19:58

π - not to be confused with the π-calculus - is a pattern-based language being developed by the Software Technology group at Technische Universität Darmstadt.

Quoting from the project website:

Tags:

 

Type-Checking Zero Knowledge

Lambda the Ultimate - Programming Languages Weblog  Tue, 11/18/2008 - 00:18

Type-Checking Zero Knowledge

Tags:

 

An Interview with Robin Milner

Lambda the Ultimate - Programming Languages Weblog  Fri, 03/21/2008 - 18:00

Back in 2003, Martin Berger conducted a fairly lengthy interview with Robin Milner.

The transcript includes some interesting tidbits on the development of ML, CCS, and the pi-calculus. Among other things, you'll find a recounting of how Milner and David Park came up with the idea of bisimulation, a discussion of the rationale behind some of the design decisions Milner and his colleagues made in creating the pi-calculus, and Milner's thoughts on how theory should influence programming languages:

Tags: