
Alma is a strongly-typed imperative *(programming language) with constraints and quantifiers.  It is an extension of a subset of _(Modula-2). It supports _(declarative) programming ideas.

<UL CLASS="implementations">
<LI><A HREF="http://db.cwi.nl/projecten/project.php4?prjnr=69">An Alma-0 compiler</A></LI>
</UL>