Hi Andrew,
On 19/01/2024 13:45, Andrew Goh via polyml wrote:
Hi Poly/ML List members,
I am starting to pick up the Poly/ML language by relying on SML/NJ resources.
Do you have any free pdf tutorials that you can recommend and that I can obtain.
As the latest Poly/ML 5.9.1 version is not availab
My book "ML for the Working Programmer” has been free to download for some
years:
https://www.cl.cam.ac.uk/~lp15/MLbook/pub-details.html
There are also lecture notes, aimed at novice programmers:
https://www.cl.cam.ac.uk/teaching/1213/FoundsCS/fcs-notes.pdf
Larry Paulson
> On 19 Jan 2024, a
