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).

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

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

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

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