\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}
