71 Haskell</a> |
71 Haskell</a> |
72 <dd> <a href="http://www.polyml.org/"> |
72 <dd> <a href="http://www.polyml.org/"> |
73 PolyML</a> (<a href="http://www.iro.umontreal.ca/~monnier/elisp">Emacs mode</a>) |
73 PolyML</a> (<a href="http://www.iro.umontreal.ca/~monnier/elisp">Emacs mode</a>) |
74 <dd> <a href=" http://cm.bell-labs.com/cm/cs/what/smlnj/index.html"> |
74 <dd> <a href=" http://cm.bell-labs.com/cm/cs/what/smlnj/index.html"> |
75 SML/NJ </a> |
75 SML/NJ </a> |
76 <dd> <a href="http://www.dina.kvl.dk/~sestoft/sml/sml-std-basis.html"> |
|
77 SML Library</a> |
|
78 <dd> <a href="http://www.csci.csusb.edu/dick/samples/ml.syntax.html"> |
76 <dd> <a href="http://www.csci.csusb.edu/dick/samples/ml.syntax.html"> |
79 Description of SML</a> |
77 Description of SML</a> |
80 <dd> <a href="http://www.inf.napier.ac.uk/course-notes/sml/manual.html"> |
78 <dd> <a href="http://www.inf.napier.ac.uk/course-notes/sml/manual.html"> |
81 A gentle introduction to ML</a> |
79 A gentle introduction to ML</a> |
82 <dd> <a href="http://www.cs.cmu.edu/afs/cs.cmu.edu/project/fox/mosaic/sml.html"> |
80 <dd> <a href="http://www.cs.cmu.edu/afs/cs.cmu.edu/project/fox/mosaic/sml.html"> |
83 Information about SML</a> |
81 Information about SML</a> |
84 <dd> <a href="http://pizzacompiler.sourceforge.net"> |
82 <dd> <a href="http://pizzacompiler.sourceforge.net"> |
85 Pizza</a> |
83 Pizza</a> |
86 <dd> <a href="http://www.inf.ed.ac.uk/home/mlj"> |
|
87 MLJ </a> (ML-to-Java-Byte-Code compiler) |
|
88 <dd> <a href ="http://www.lix.polytechnique.fr/~dale/lProlog/"> |
|
89 Lambda Prolog</a> |
|
90 <dd> <a href="http://www.cs.cmu.edu/afs/cs/user/fp/www/lfs.html"> |
84 <dd> <a href="http://www.cs.cmu.edu/afs/cs/user/fp/www/lfs.html"> |
91 Logical Frameworks</a> |
85 Logical Frameworks</a> |
92 </dl> |
86 </dl> |
93 </TD> |
87 </TD> |
94 </TR> |
88 </TR> |