ULM | Documentation

ULM: Un Langage pour la Mobilité

There are only a couple of papers documenting the ULM model, and the Scheme implementation. In my thesis dissertation you will find a lot of documentation.

ULM Design, by Gérard Boudol

ULM, a core programming model for global computing, draft (October 2003). An extended abstract of this paper has appeared in the proceedings of the ESOP'04 Conference, Lecture Notes in Computer Science (LNCS) Vol 2986 (2004), 234-248.
[Abstract, .pdf, .ps.gz]

The Scheme ULM embedding implementation, by Stéphane Epardaud

Mobile Reactive Programming in ULM.. Published in the Scheme Workshop 2004, Available at Proceedings of the Fifth ACM SIGPLAN Workshop on Scheme and Functional Programming.
[.pdf, .ps.gz]

Thesis dissertation

Mise en œuvre d'un langage à mobilité forte, by Stéphane Epardaud:

Mise en œuvre d'un langage à mobilité forte / Implementation of a language with strong mobility.. Defended on the 18th of February 2008 in the presence of Manuel Serrano, Gérard Boudol, Michel Riveill, Shriram Krishnamurthi, Jean-Bernard Stefani, Marc Lacoste. Available in PDF here.

As far as I'm concerned, style is something that happens to other people...