[MLton] Welcome to Bernard Berthomieu
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.