equal
deleted
inserted
replaced
56 OCaml</a> |
56 OCaml</a> |
57 <dd> <a href="http://www.scala-lang.org/"> |
57 <dd> <a href="http://www.scala-lang.org/"> |
58 Scala</a> |
58 Scala</a> |
59 <dd> <a href="http://www.haskell.org/"> |
59 <dd> <a href="http://www.haskell.org/"> |
60 Haskell</a> |
60 Haskell</a> |
|
61 <dd> <a href="http://www.polyml.org/"> |
|
62 PolyML</a> |
61 <dd> <a href=" http://cm.bell-labs.com/cm/cs/what/smlnj/index.html"> |
63 <dd> <a href=" http://cm.bell-labs.com/cm/cs/what/smlnj/index.html"> |
62 SML/NJ </a> |
64 SML/NJ </a> |
63 <dd> <a href="http://www.dina.kvl.dk/~sestoft/sml/sml-std-basis.html"> |
65 <dd> <a href="http://www.dina.kvl.dk/~sestoft/sml/sml-std-basis.html"> |
64 SML Library</a> |
66 SML Library</a> |
65 <dd> <a href="http://www.csci.csusb.edu/dick/samples/ml.syntax.html"> |
67 <dd> <a href="http://www.csci.csusb.edu/dick/samples/ml.syntax.html"> |
69 <dd> <a href="http://www.cs.cmu.edu/afs/cs.cmu.edu/project/fox/mosaic/sml.html"> |
71 <dd> <a href="http://www.cs.cmu.edu/afs/cs.cmu.edu/project/fox/mosaic/sml.html"> |
70 Information about SML</a> |
72 Information about SML</a> |
71 <dd> <a href="http://pizzacompiler.sourceforge.net"> |
73 <dd> <a href="http://pizzacompiler.sourceforge.net"> |
72 Pizza</a> |
74 Pizza</a> |
73 <dd> <a href="http://www.dcs.ed.ac.uk/home/mlj"> |
75 <dd> <a href="http://www.dcs.ed.ac.uk/home/mlj"> |
74 MLJ </a> (ML-to-Java-Byte-Code compiler, developed |
76 MLJ </a> (ML-to-Java-Byte-Code compiler) |
75 <a href="http://research.microsoft.com/labs/cam.asp">here</a>) |
77 <dd> <a href="http://www.cse.psu.edu/~dale/forum/index.html"> |
76 <dd> <a href="http://www.cse.psu.edu/~dale/forum/index.html"> |
78 Forum</a> |
77 Forum</a> |
79 <dd> <a href ="http://www.lix.polytechnique.fr/~dale/lProlog/"> |
78 <dd> <a href ="http://www.cse.psu.edu/~dale/lProlog/"> |
80 Lambda Prolog</a> |
79 Lambda Prolog</a> |
81 <dd> <a href="http://www.cs.cmu.edu/afs/cs/user/fp/www/lfs.html"> |
80 <dd> <a href="ftp://ftp.cis.upenn.edu/pub/Terzo"> |
82 Logical Frameworks</a> |
81 Terzo</a> |
|
82 <dd> <a href="http://www.cs.cmu.edu/afs/cs/user/fp/www/lfs.html"> |
|
83 Logical Frameworks</a> |
|
84 </dl> |
83 </dl> |
85 </TD> |
84 </TD> |
86 </TR> |
85 </TR> |
87 |
86 |
88 <TR> |
87 <TR> |
94 Coq</a> |
93 Coq</a> |
95 <dd> <a href="http://proofgeneral.inf.ed.ac.uk/"> |
94 <dd> <a href="http://proofgeneral.inf.ed.ac.uk/"> |
96 Proof General</a> |
95 Proof General</a> |
97 <dd> <a href="http://x-symbol.sourceforge.net/"> |
96 <dd> <a href="http://x-symbol.sourceforge.net/"> |
98 Emacs Symbols</a> |
97 Emacs Symbols</a> |
|
98 <dd> <a href="http://hol.sourceforge.net/"> |
|
99 HOL4</a> |
99 <dd> <a href="http://hol.sourceforge.net/hol-mode.html"> |
100 <dd> <a href="http://hol.sourceforge.net/hol-mode.html"> |
100 HOL4-Emacs mode</a> |
101 HOL4-Emacs mode</a> |
101 <dd> <a href="http://cocorico.cs.ru.nl/coqwiki"> |
102 <dd> <a href="http://coq.inria.fr/cocorico"> |
102 Coq-Wiki</a> |
103 Coq-Wiki</a> |
103 <dd> <a href="http://fp.logosphere.cs.cmu.edu/twelf/"> |
104 <dd> <a href="http://fp.logosphere.cs.cmu.edu/twelf/"> |
104 Twelf-Wiki</a> |
105 Twelf-Wiki</a> |
105 </dl> |
106 </dl> |
106 </TD> |
107 </TD> |