search

elpinal / modules

Implementations of F-ing modules and 1ML, as well as bibliography of (mainly ML-style) modules
https://elpinal.gitlab.io/modules-bib/
MIT License
29 stars 0 forks source link

Introductory texts #2

Open elpinal opened 3 years ago

elpinal commented 3 years ago

Four Lectures on Standard ML (Mads Tofte; 1989)

http://www.lfcs.inf.ed.ac.uk/reports/89/ECS-LFCS-89-73/index.html

Essentials of Standard ML Modules (Mads Tofte; 1996)

https://link.springer.com/chapter/10.1007%2F3-540-61628-4_8