\section{Systems Using MLRISC} Currently these are the systems that are known to be using MLRISC. \begin{itemize} \item \externhref{http://cm.bell-labs.com/cm/cs/what/smlnj/index.html}{SML/NJ}, a Standard ML compiler. \item \externhref{http://www.dcs.gla.ac.uk/~reig/c--/index.html}{C--}, a portable assembly language. \item \externhref{http://www.cs.bu.edu/groups/church/}{The Church Project}: compilation with flow types. \item \externhref{http://compiler.kaist.ac.kr/projects/lgic}{The LGIC Project}: a compiler for the CHILL language, targeting PowerPC. \item \externhref{http://www.cs.bell-labs.com/who/jhr/moby/index.html}{The Moby Language} \end{itemize} \begin{small} Please send additions to \href{mailto:leunga@cs.nyu.edu}{Allen Leung} \end{small}