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 available for Windows, I however
managed to obtain a previous versio
On 1/19/2024 8:45 AM, 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 available for W
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
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
On 19/01/2024 14:45, Andrew Goh via polyml wrote:
As the latest Poly/ML 5.9.1 version is not available for Windows, I however
managed to obtain a previous version 5.5.0 from source forge.
>
I was wondering if Poly/ML can be improved until it looks like, feels like and
works like a copy of t
