Email Gateway (Aug 19 2022 at 09:54): Email Gateway (Aug 19 2022 at 09:54):From: Aaron Gray <aaronngray.lists@gmail.com>
Hi,
Has/does anyone know of a proof and/or inference rules for the 1997
Definition of Standard ML ?
Many thanks in advance,
Aaron
Email Gateway (Aug 19 2022 at 09:55):From: Ramana Kumar <rk436@cam.ac.uk>
There is the "Mechanized Definition" at the second item here
https://www.cs.cmu.edu/~crary/papers/
Email Gateway (Aug 19 2022 at 09:57):From: Aaron Gray <aaronngray.lists@gmail.com>
Thanks, that's twelth/elf which is really out of use now as far as I know.
But great thanks it looks quite large and extensive !
Regards,
Aaron
Last updated: Nov 21 2024 at 12:39 UTC