Languages for pi-calculus

Ignore this post unless you’re me and it turns out that yes, I have ended up looking into this (which I might or might not)…

Via this discussion at lambda, some stuff about programming languages supporting the pi-calculus, in particular a PDF paper on PiLib: A Hosted Language for Pi-Calculus Style Concurrency, and Pict, “the canonical example of a Pi-Calculus language”.