Home

CS 510: Software

Both ML and Java are available on the CS department's Unix machines (shades, penguins) and on Microsoft Windows. In general, you may do the programming assignments on either Unix or Windows. If you do not have an account on the CS Unix machines, you may obtain one from the CS Staff (csstaff@cs.princeton.edu, room 101 CS Bldg).

ML on CS Dept. Unix: /usr/local/sml/bin/sml
ML to install on your own machine
ML documentation and ML tutorials (I personally recommend the introduction to ML by Robert Harper)
Java on CS Dept. Unix: 

/proj/sip/jdk/j2sdk1.4.0-${CPUTYPE}/bin

/usr/local/java/j2sdk1.4.0_01/bin

 
Java to install yourself: Java Development Kit
Java for Windows: Sun's Java Development Kit or Microsoft Visual J++.