Re: [MLton] Citing MLTon in a paper

Matthew Fluet <[email protected]> Sat, 19 Apr 2025 05:40:40 -0400
Newsgroups gmane.comp.lang.ml.mlton.devel
Message-ID <CAMrhFL7+3+z=E3B0JvR3D3efVRsRntwe6WSsAbRuv05AtJ+FkA@mail.gmail.com>
--===============2869094810962882878==
Content-Type: multipart/alternative; boundary="0000000000003966f206331e6e4d"

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

We typically cite:

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.

and

MLton n.d.. MLton web site. http://www.mlton.org.


On Sat, Apr 19, 2025 at 5:36=E2=80=AFAM 'Sasha Lopoukhine' via MLton-devel =
<
[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
>

--0000000000003966f206331e6e4d
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">We typically cite:</div><div class=3D"gmail_defau=
lt" style=3D"font-family:arial,sans-serif;font-size:large"><br></div><div c=
lass=3D"gmail_default" style=3D"font-family:arial,sans-serif;font-size:larg=
e">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.</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"http://ww=
w.mlton.org">http://www.mlton.org</a>.</div><div class=3D"gmail_default" st=
yle=3D"font-family:arial,sans-serif;font-size:large"><br></div></div><br><d=
iv class=3D"gmail_quote gmail_quote_container"><div dir=3D"ltr" class=3D"gm=
ail_attr">On Sat, Apr 19, 2025 at 5:36=E2=80=AFAM &#39;Sasha Lopoukhine&#39=
; via MLton-devel &lt;<a href=3D"mailto:[email protected]">mlton-devel@=
mlton.org</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);padding=
-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://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>

--0000000000003966f206331e6e4d--


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


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

--===============2869094810962882878==--