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.

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]