Two-way bilingual programs are those in which majority language children and minority language children attend the same classes at the same time, the idea being that majority language children will acquire the minority language and minority language children will acquire the majority language. There has been a great deal of excitement about these programs; claims have been made that twoway has ...

We define an imperative programming language, which extends while programs with a type for storing atoms or hereditarily orbit-finite sets. To deal with an orbit-finite set, the language has a loop construction, which is executed in parallel for all elements of an orbit-finite set. We show examples of programs in this language, e.g. a program for minimising deterministic orbit-finite automata. ...

Regis is a programming environment aimed at supporting the development and execution of parallel and distributed programs. It embodies a constructive approach to the development of programs based on separating program structure from communication and computation. The emphasis is on constructing programs from multiple parallel computational components which cooperate to achieve the overall goal....