[Pl-seminar] Semantics Seminar Schedule

Mitchell Wand wand at ccs.neu.edu
Mon Nov 5 22:29:38 EST 2007

NU Programming Languages Seminar
Wednesday November 7, 2007, 11:45am-1:30pm
Room 366 WVH (http://www.ccs.neu.edu/home/wand/directions.html)

Vassilis Koutavas will present:

The Join Calculus: a Language for Distributed Mobile Programming
by Fournet, Cardelli, et al.

The join calculus is a language that models distributed and mobile
programming. It is characterized by asynchronous communication between
processes, an explicit notion of locality, a strict adherence to local
synchronization, and a direct embedding of the ML programming language.
Local synchronization means that messages always travel to a set
destination, and can interact only after they reach that destination;
this yields an efficient implementation.

The join calculus is used as the basis for several distributed languages
and implementations, such as JoCaml, Polyphonic C#, and the continuation
of the latter, Comega.

Upcoming Events:

# 11/14 Guy Steele: Designing by Accident: a History of Scheme
# Mon 11/19 1030am: Radha Jagadeesan
# 11/21 Thanksgiving; no meeting
# 11/28 Ryan Newton: Language Support for Distributed Stream Processing
# 12/05 Riccardo Pucella: The Manticore project
# 01/16 et seq are open. Volunteer!


More information about the pl-seminar mailing list