[MLton] Welcome to Bernard Berthomieu

Matthew Fluet fluet@cs.cornell.edu
Thu, 31 Mar 2005 09:51:53 -0500 (EST)

Welcome to Bernard Berthomieu who has joined the MLton mailing list.

He has been using in ML since 1984 and was involved in the implementation 
of LCS, a programming language adding CCS-style processes to SML'90 (and 
still available at  http://www.laas.fr/lcs  and running well, implemented 
as a bytecode  interpreter).  He is currently interested in modeling and 
analysis of concurrent systems, working on the Tina project 
(http://www.laas.fr/tina, implemented in SML and Tk).  He'd like to keep 
an eye on development of SML.

Again, welcome!