Re: [MLton] Citing MLTon in a paper
"'Sasha Lopoukhine' via MLton-devel" <[email protected]> Sat, 19 Apr 2025 20:11:41 +0200
| Newsgroups | gmane.comp.lang.ml.mlton.devel |
|---|---|
| Message-ID | <[email protected]> |
--===============6409625003544327165== Content-Type: multipart/alternative; boundary="Apple-Mail=_CE3CBF51-81E2-47C0-8892-D4AAA9A3190F" --Apple-Mail=_CE3CBF51-81E2-47C0-8892-D4AAA9A3190F Content-Transfer-Encoding: quoted-printable Content-Type: text/plain; charset=utf-8 Thank you! This would be very helpful on the FAQ page. Best, Sasha > On 19 Apr 2025, at 11:40, Matthew Fluet <[email protected]> = wrote: >=20 > We typically cite: >=20 > Stephen Weeks. 2006. Whole-program compilation in MLton. In ML =E2=80=99= 06: Proceedings of the 2006 workshop on ML (Portland, Oregon, USA). ACM, = 1=E2=80=931. >=20 > and >=20 > MLton n.d.. MLton web site. http://www.mlton.org = <https://eur03.safelinks.protection.outlook.com/?url=3Dhttp%3A%2F%2Fwww.ml= ton.org%2F&data=3D05%7C02%7Cal666%40universityofcambridgecloud.onmicrosoft= .com%7C8fb930b0f4c5404682de08dd7f264a40%7C49a50445bdfa4b79ade3547b4f3986e9= %7C1%7C0%7C638806524638440071%7CUnknown%7CTWFpbGZsb3d8eyJFbXB0eU1hcGkiOnRy= dWUsIlYiOiIwLjAuMDAwMCIsIlAiOiJXaW4zMiIsIkFOIjoiTWFpbCIsIldUIjoyfQ%3D%3D%7= C0%7C%7C%7C&sdata=3DDFl0ve4FC24JxoIeArQS936lIsB%2Br7I7Kz2nCTXYK3A%3D&reser= ved=3D0>. >=20 >=20 > On Sat, Apr 19, 2025 at 5:36=E2=80=AFAM 'Sasha Lopoukhine' via = MLton-devel <[email protected] <mailto:[email protected]>> = wrote: >> Hi all, >>=20 >> What's the best way to cite MLTon in a compiler paper?=20 >>=20 >> Best, >>=20 >> Sasha >>=20 >>=20 >> _______________________________________________ >> MLton-devel mailing list >> [email protected] = <mailto:[email protected]>; [email protected] = <mailto:[email protected]> >> https://lists.sourceforge.net/lists/listinfo/mlton-devel = <https://eur03.safelinks.protection.outlook.com/?url=3Dhttps%3A%2F%2Flists= .sourceforge.net%2Flists%2Flistinfo%2Fmlton-devel&data=3D05%7C02%7Cal666%4= 0universityofcambridgecloud.onmicrosoft.com%7C8fb930b0f4c5404682de08dd7f26= 4a40%7C49a50445bdfa4b79ade3547b4f3986e9%7C1%7C0%7C638806524638463563%7CUnk= nown%7CTWFpbGZsb3d8eyJFbXB0eU1hcGkiOnRydWUsIlYiOiIwLjAuMDAwMCIsIlAiOiJXaW4= zMiIsIkFOIjoiTWFpbCIsIldUIjoyfQ%3D%3D%7C0%7C%7C%7C&sdata=3DfjIKlNJu8xTv1Mt= vVws3fiBQrP5CkKVvU5k8Ec1%2F%2F%2Bk%3D&reserved=3D0> --Apple-Mail=_CE3CBF51-81E2-47C0-8892-D4AAA9A3190F Content-Transfer-Encoding: quoted-printable Content-Type: text/html; charset=utf-8 <html><head><meta http-equiv=3D"content-type" content=3D"text/html; = charset=3Dutf-8"></head><body style=3D"overflow-wrap: break-word; = -webkit-nbsp-mode: space; line-break: after-white-space;">Thank = you!<div><br></div><div>This would be very helpful on the FAQ = page.</div><div><br></div><div>Best,</div><div><br></div><div>Sasha<br = id=3D"lineBreakAtBeginningOfMessage"><div><br><blockquote = type=3D"cite"><div>On 19 Apr 2025, at 11:40, Matthew Fluet = <[email protected]> wrote:</div><br = class=3D"Apple-interchange-newline"><div><meta http-equiv=3D"Content-Type"= content=3D"text/html; charset=3Dutf-8"><div dir=3D"ltr"><div = class=3D"gmail_default" = style=3D"font-family:arial,sans-serif;font-size:large">We typically = cite:</div><div class=3D"gmail_default" = style=3D"font-family:arial,sans-serif;font-size:large"><br></div><div = class=3D"gmail_default" = style=3D"font-family:arial,sans-serif;font-size:large">Stephen Weeks. = 2006. Whole-program compilation in MLton. In ML =E2=80=9906: Proceedings = of the 2006 workshop on ML (Portland, Oregon, USA). ACM, 1=E2=80=931.</div><div class=3D"gmail_default" = style=3D"font-family:arial,sans-serif;font-size:large"><br></div><div = class=3D"gmail_default" = style=3D"font-family:arial,sans-serif;font-size:large">and</div><div = class=3D"gmail_default" = style=3D"font-family:arial,sans-serif;font-size:large"><br></div><div = class=3D"gmail_default" = style=3D"font-family:arial,sans-serif;font-size:large">MLton n.d.. MLton = web site. <a = href=3D"https://eur03.safelinks.protection.outlook.com/?url=3Dhttp%3A%2F%2= Fwww.mlton.org%2F&data=3D05%7C02%7Cal666%40universityofcambridgecloud.= onmicrosoft.com%7C8fb930b0f4c5404682de08dd7f264a40%7C49a50445bdfa4b79ade35= 47b4f3986e9%7C1%7C0%7C638806524638440071%7CUnknown%7CTWFpbGZsb3d8eyJFbXB0e= U1hcGkiOnRydWUsIlYiOiIwLjAuMDAwMCIsIlAiOiJXaW4zMiIsIkFOIjoiTWFpbCIsIldUIjo= yfQ%3D%3D%7C0%7C%7C%7C&sdata=3DDFl0ve4FC24JxoIeArQS936lIsB%2Br7I7Kz2nC= TXYK3A%3D&reserved=3D0" = originalsrc=3D"http://www.mlton.org/">http://www.mlton.org</a>.</div><div = class=3D"gmail_default" = style=3D"font-family:arial,sans-serif;font-size:large"><br></div></div><br= ><div class=3D"gmail_quote gmail_quote_container"><div dir=3D"ltr" = class=3D"gmail_attr">On Sat, Apr 19, 2025 at 5:36=E2=80=AFAM 'Sasha = Lopoukhine' via MLton-devel <<a = href=3D"mailto:[email protected]">[email protected]</a>> = wrote:<br></div><blockquote class=3D"gmail_quote" style=3D"margin:0px = 0px 0px 0.8ex;border-left:1px solid = rgb(204,204,204);padding-left:1ex">Hi all,<br> <br> What's the best way to cite MLTon in a compiler paper? <br> <br> Best,<br> <br> Sasha<br> <br> <br> _______________________________________________<br> MLton-devel mailing list<br> <a href=3D"mailto:[email protected]" = target=3D"_blank">[email protected]</a>; <a = href=3D"mailto:[email protected]" = target=3D"_blank">[email protected]</a><br> <a = href=3D"https://eur03.safelinks.protection.outlook.com/?url=3Dhttps%3A%2F%= 2Flists.sourceforge.net%2Flists%2Flistinfo%2Fmlton-devel&data=3D05%7C0= 2%7Cal666%40universityofcambridgecloud.onmicrosoft.com%7C8fb930b0f4c540468= 2de08dd7f264a40%7C49a50445bdfa4b79ade3547b4f3986e9%7C1%7C0%7C6388065246384= 63563%7CUnknown%7CTWFpbGZsb3d8eyJFbXB0eU1hcGkiOnRydWUsIlYiOiIwLjAuMDAwMCIs= IlAiOiJXaW4zMiIsIkFOIjoiTWFpbCIsIldUIjoyfQ%3D%3D%7C0%7C%7C%7C&sdata=3D= fjIKlNJu8xTv1MtvVws3fiBQrP5CkKVvU5k8Ec1%2F%2F%2Bk%3D&reserved=3D0" = originalsrc=3D"https://lists.sourceforge.net/lists/listinfo/mlton-devel" = rel=3D"noreferrer" = target=3D"_blank">https://lists.sourceforge.net/lists/listinfo/mlton-devel= </a><br> </blockquote></div> </div></blockquote></div><br></div></body></html>= --Apple-Mail=_CE3CBF51-81E2-47C0-8892-D4AAA9A3190F-- --===============6409625003544327165== Content-Type: text/plain; charset="us-ascii" MIME-Version: 1.0 Content-Transfer-Encoding: 7bit Content-Disposition: inline --===============6409625003544327165== Content-Type: text/plain; charset="us-ascii" MIME-Version: 1.0 Content-Transfer-Encoding: 7bit Content-Disposition: inline _______________________________________________ MLton-devel mailing list [email protected]; [email protected] https://lists.sourceforge.net/lists/listinfo/mlton-devel --===============6409625003544327165==--