Re: [MLton] Citing MLTon in a paper

--===============3537385712382035963==
Content-Type: multipart/alternative; boundary="0000000000003fa181063338d36f"

--0000000000003fa181063338d36f
Content-Type: text/plain; charset="UTF-8"
Content-Transfer-Encoding: quoted-printable

Adding it to the FAQ is a great idea.


On Sat, Apr 19, 2025 at 2:11=E2=80=AFPM Sasha Lopoukhine <
[email protected]> wrote:

> 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:
>
> We typically cite:
>
> Stephen Weeks. 2006. Whole-program compilation in MLton. In ML =E2=80=990=
6:
> Proceedings of the 2006 workshop on ML (Portland, Oregon, USA). ACM, 1=E2=
=80=931.
>
> and
>
> MLton n.d.. MLton web site. http://www.mlton.org
> <https://eur03.safelinks.protection.outlook.com/?url=3Dhttp%3A%2F%2Fwww.m=
lton.org%2F&data=3D05%7C02%7Cal666%40universityofcambridgecloud.onmicrosoft=
.com%7C8fb930b0f4c5404682de08dd7f264a40%7C49a50445bdfa4b79ade3547b4f3986e9%=
7C1%7C0%7C638806524638440071%7CUnknown%7CTWFpbGZsb3d8eyJFbXB0eU1hcGkiOnRydW=
UsIlYiOiIwLjAuMDAwMCIsIlAiOiJXaW4zMiIsIkFOIjoiTWFpbCIsIldUIjoyfQ%3D%3D%7C0%=
7C%7C%7C&sdata=3DDFl0ve4FC24JxoIeArQS936lIsB%2Br7I7Kz2nCTXYK3A%3D&reserved=
=3D0>
> .
>
>
> On Sat, Apr 19, 2025 at 5:36=E2=80=AFAM 'Sasha Lopoukhine' via MLton-deve=
l <
> [email protected]> wrote:
>
>> Hi all,
>>
>> What's the best way to cite MLTon in a compiler paper?
>>
>> Best,
>>
>> Sasha
>>
>>
>> _______________________________________________
>> MLton-devel mailing list
>> [email protected]; [email protected]
>> https://lists.sourceforge.net/lists/listinfo/mlton-devel
>> <https://eur03.safelinks.protection.outlook.com/?url=3Dhttps%3A%2F%2Flis=
ts.sourceforge.net%2Flists%2Flistinfo%2Fmlton-devel&data=3D05%7C02%7Cal666%=
40universityofcambridgecloud.onmicrosoft.com%7C8fb930b0f4c5404682de08dd7f26=
4a40%7C49a50445bdfa4b79ade3547b4f3986e9%7C1%7C0%7C638806524638463563%7CUnkn=
own%7CTWFpbGZsb3d8eyJFbXB0eU1hcGkiOnRydWUsIlYiOiIwLjAuMDAwMCIsIlAiOiJXaW4zM=
iIsIkFOIjoiTWFpbCIsIldUIjoyfQ%3D%3D%7C0%7C%7C%7C&sdata=3DfjIKlNJu8xTv1MtvVw=
s3fiBQrP5CkKVvU5k8Ec1%2F%2F%2Bk%3D&reserved=3D0>
>>
>
>

--0000000000003fa181063338d36f
Content-Type: text/html; charset="UTF-8"
Content-Transfer-Encoding: quoted-printable

<div dir=3D"ltr"><div class=3D"gmail_default" style=3D"font-family:arial,sa=
ns-serif;font-size:large">Adding=C2=A0it to the FAQ is a great idea.</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 2:11=E2=80=
=AFPM Sasha Lopoukhine &lt;<a href=3D"mailto:[email protected]"=
>[email protected]</a>&gt; wrote:<br></div><blockquote class=3D=
"gmail_quote" style=3D"margin:0px 0px 0px 0.8ex;border-left:1px solid rgb(2=
04,204,204);padding-left:1ex"><div>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"m_-6942779558447328996lineBreakAtBeginningOfM=
essage"><div><br><blockquote type=3D"cite"><div>On 19 Apr 2025, at 11:40, M=
atthew Fluet &lt;<a href=3D"mailto:[email protected]" target=3D"_blan=
k">[email protected]</a>&gt; wrote:</div><br><div><div dir=3D"ltr"><d=
iv 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-f=
amily:arial,sans-serif;font-size:large"><br></div><div class=3D"gmail_defau=
lt" style=3D"font-family:arial,sans-serif;font-size:large">Stephen Weeks. 2=
006. 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,s=
ans-serif;font-size:large">MLton n.d.. MLton web site. <a href=3D"https://e=
ur03.safelinks.protection.outlook.com/?url=3Dhttp%3A%2F%2Fwww.mlton.org%2F&=
amp;data=3D05%7C02%7Cal666%40universityofcambridgecloud.onmicrosoft.com%7C8=
fb930b0f4c5404682de08dd7f264a40%7C49a50445bdfa4b79ade3547b4f3986e9%7C1%7C0%=
7C638806524638440071%7CUnknown%7CTWFpbGZsb3d8eyJFbXB0eU1hcGkiOnRydWUsIlYiOi=
IwLjAuMDAwMCIsIlAiOiJXaW4zMiIsIkFOIjoiTWFpbCIsIldUIjoyfQ%3D%3D%7C0%7C%7C%7C=
&amp;sdata=3DDFl0ve4FC24JxoIeArQS936lIsB%2Br7I7Kz2nCTXYK3A%3D&amp;reserved=
=3D0" target=3D"_blank">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"><div dir=3D"ltr" class=3D"gmail_attr">O=
n Sat, Apr 19, 2025 at 5:36=E2=80=AFAM &#39;Sasha Lopoukhine&#39; via MLton=
-devel &lt;<a href=3D"mailto:[email protected]" target=3D"_blank">mlton=
[email protected]</a>&gt; wrote:<br></div><blockquote class=3D"gmail_quote" =
style=3D"margin:0px 0px 0px 0.8ex;border-left:1px solid rgb(204,204,204);pa=
dding-left:1ex">Hi all,<br>
<br>
What&#39;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">MLto=
[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%2=
F%2Flists.sourceforge.net%2Flists%2Flistinfo%2Fmlton-devel&amp;data=3D05%7C=
02%7Cal666%40universityofcambridgecloud.onmicrosoft.com%7C8fb930b0f4c540468=
2de08dd7f264a40%7C49a50445bdfa4b79ade3547b4f3986e9%7C1%7C0%7C63880652463846=
3563%7CUnknown%7CTWFpbGZsb3d8eyJFbXB0eU1hcGkiOnRydWUsIlYiOiIwLjAuMDAwMCIsIl=
AiOiJXaW4zMiIsIkFOIjoiTWFpbCIsIldUIjoyfQ%3D%3D%7C0%7C%7C%7C&amp;sdata=3DfjI=
KlNJu8xTv1MtvVws3fiBQrP5CkKVvU5k8Ec1%2F%2F%2Bk%3D&amp;reserved=3D0" rel=3D"=
noreferrer" target=3D"_blank">https://lists.sourceforge.net/lists/listinfo/=
mlton-devel</a><br>
</blockquote></div>
</div></blockquote></div><br></div></div></blockquote></div>

--0000000000003fa181063338d36f--


--===============3537385712382035963==
Content-Type: text/plain; charset="us-ascii"
MIME-Version: 1.0
Content-Transfer-Encoding: 7bit
Content-Disposition: inline


--===============3537385712382035963==
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

--===============3537385712382035963==--