A Distributed Structured Editor for ML

Technical Report, Institut National de Recherche en Informatique et Automatique, Rocquencourt, France

Publication date: January 31, 2005

A. Chaudhuri, G. Huet