3 ms·
Not sure. This was the book I used: http://www.it.dtu.dk/introSML/ http://www.it.dtu.dk/introSML/ There are plenty of suggestions here http://www.smlnj.org/doc
by biehl 11y ago
Not sure. This was the book I used: http://www.it.dtu.dk/introSML/ http://www.it.dtu.dk/introSML/
There are plenty of suggestions here http://www.smlnj.org/doc/literature.html http://www.smlnj.org/doc/literature.html