1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82
83
84
85
86
87
88
89
90
91
92
93
94
95
96
97
98
99
100
101
102
103
104
105
106
107
108
109
110
111
112
113
114
115
116
117
118
119
120
121
122
123
124
125
126
127
128
129
130
131
132
133
134
135
136
137
138
139
140
141
142
143
144
145
146
147
148
149
150
151
152
153
154
155
156
157
158
159
160
161
162
163
164
165
166
167
168
169
170
171
172
173
174
175
176
177
178
179
180
181
182
183
184
185
186
187
188
189
190
191
192
193
194
195
196
197
198
199
200
201
202
203
204
205
206
207
208
209
210
211
212
213
214
215
216
217
218
219
220
221
222
223
224
225
226
227
228
229
230
231
232
233
234
235
236
237
238
239
240
241
242
243
244
245
246
247
248
249
250
251
252
253
254
255
256
257
258
259
260
261
262
263
264
265
266
267
268
269
270
271
272
273
274
275
276
277
278
279
280
281
282
283
284
285
286
287
288
289
290
291
292
293
294
295
|
<!DOCTYPE html>
<html lang="en">
<head>
<meta http-equiv="Content-Type" content="text/html; charset=UTF-8">
<meta name="generator" content="AsciiDoc 8.6.8">
<title>Credits</title>
<link rel="stylesheet" href="./asciidoc.css" type="text/css">
<link rel="stylesheet" href="./pygments.css" type="text/css">
<script type="text/javascript" src="./asciidoc.js"></script>
<script type="text/javascript">
/*<![CDATA[*/
asciidoc.install();
/*]]>*/
</script>
<link rel="stylesheet" href="./mlton.css" type="text/css"/>
</head>
<body class="article">
<div id="banner">
<div id="banner-home">
<a href="./Home">MLton 20130715</a>
</div>
</div>
<div id="header">
<h1>Credits</h1>
</div>
<div id="content">
<div id="preamble">
<div class="sectionbody">
<div class="paragraph"><p>MLton was designed and implemented by HenryCejtin,
MatthewFluet, SureshJagannathan, and <a href="StephenWeeks">StephenWeeks</a>.</p></div>
<div class="ulist"><ul>
<li>
<p>
<a href="HenryCejtin">HenryCejtin</a> wrote the <span class="monospaced">IntInf</span> implementation, the original
profiler, the original man pages, the <span class="monospaced">.spec</span> files for the RPMs,
and lots of little hacks to speed stuff up.
</p>
</li>
<li>
<p>
<a href="MatthewFluet">MatthewFluet</a> implemented the X86 and AMD64 native code generators,
ported <span class="monospaced">mlprof</span> to work with the native code generator, did a lot
of work on the SSA optimizer, both adding new optimizations and
improving or porting existing optimizations, updated the
<a href="BasisLibrary">Basis Library</a> implementation, ported
<a href="ConcurrentML">ConcurrentML</a> and <a href="MLNLFFI">ML-NLFFI</a> to MLton, implemented the
<a href="MLBasis"> ML Basis system</a>, ported MLton to 64-bit platforms,
and currently leads the project.
</p>
</li>
<li>
<p>
<a href="SureshJagannathan">SureshJagannathan</a> implemented some early inlining and uncurrying
optimizations.
</p>
</li>
<li>
<p>
<a href="StephenWeeks">StephenWeeks</a> implemented most of the original version of MLton, and
continues to keep his fingers in most every part.
</p>
</li>
</ul></div>
<div class="paragraph"><p>Many people have helped us over the years. Here is an alphabetical
list.</p></div>
<div class="ulist"><ul>
<li>
<p>
<a href="JesperLouisAndersen">JesperLouisAndersen</a> sent several patches to improve the runtime on
FreeBSD and ported MLton to run on NetBSD and OpenBSD.
</p>
</li>
<li>
<p>
<a href="JohnnyAndersen">JohnnyAndersen</a> implemented <span class="monospaced">BinIO</span>, modified MLton so it could
cross compile to MinGW, and provided useful discussion about
cross-compilation.
</p>
</li>
<li>
<p>
Christopher Cramer contributed support for additional
<span class="monospaced">Posix.ProcEnv.sysconf</span> variables and performance improvements for
<span class="monospaced">String.concatWith</span>.
</p>
</li>
<li>
<p>
Alain Deutsch and
<a href="http://www.polyspace.com/">PolySpace Technologies</a> provided many bug
fixes and runtime system improvements, code to help the Sparc/Solaris
port, and funded a number of improvements to MLton.
</p>
</li>
<li>
<p>
Martin Elsman provided helpful discussions in the development of
the <a href="MLBasis">ML Basis system</a>.
</p>
</li>
<li>
<p>
Brent Fulgham ported MLton most of the way to MinGW.
</p>
</li>
<li>
<p>
<a href="AdamGoode">AdamGoode</a> provided a script to build the PDF MLton Guide and
maintains the
<a href="https://admin.fedoraproject.org/pkgdb/acls/name/mlton">Fedora</a>
packages.
</p>
</li>
<li>
<p>
Simon Helsen provided bug reports, suggestions, and helpful
discussions.
</p>
</li>
<li>
<p>
Joe Hurd provided useful discussion and feedback on source-level
profiling.
</p>
</li>
<li>
<p>
<a href="VesaKarvonen">VesaKarvonen</a> contributed <span class="monospaced">esml-mode.el</span> and <span class="monospaced">esml-mlb-mode.el</span> (see <a href="Emacs">Emacs</a>),
contributed patches for improving match warnings,
contributed <span class="monospaced">esml-du-mlton.el</span> and extended def-use output to include types of variable definitions (see <a href="EmacsDefUseMode">EmacsDefUseMode</a>), and
improved constant folding of floating-point operations.
</p>
</li>
<li>
<p>
Richard Kelsey provided helpful discussions.
</p>
</li>
<li>
<p>
Ville Laurikari ported MLton to IA64/HPUX, HPPA/HPUX, PowerPC/AIX, PowerPC64/AIX.
</p>
</li>
<li>
<p>
Geoffrey Mainland helped with FreeBSD packaging.
</p>
</li>
<li>
<p>
Eric McCorkle ported MLton to Intel Mac.
</p>
</li>
<li>
<p>
<a href="TomMurphy">TomMurphy</a> wrote the original version of <span class="monospaced">MLton.Syslog</span> as part
of his <span class="monospaced">mlftpd</span> project, and has sent many useful bug reports and
suggestions.
</p>
</li>
<li>
<p>
Michael Neumann helped to patch the runtime to compile under
FreeBSD.
</p>
</li>
<li>
<p>
Barak Pearlmutter built the original
<a href="http://packages.debian.org/mlton">Debian package</a> for MLton, and
helped us to take over the process.
</p>
</li>
<li>
<p>
Filip Pizlo ported MLton to (PowerPC) Darwin.
</p>
</li>
<li>
<p>
John Reppy assisted in porting MLton to Intel Mac.
</p>
</li>
<li>
<p>
Sam Rushing ported MLton to FreeBSD.
</p>
</li>
<li>
<p>
Jeffrey Mark Siskind provided helpful discussions and inspiration
with his Stalin Scheme compiler.
</p>
</li>
<li>
<p>
<a href="WesleyTerpstra">WesleyTerpstra</a> added support for <span class="monospaced">MLton.Process.create</span>, made
a number of contributions to the <a href="ForeignFunctionInterface">ForeignFunctionInterface</a>,
contributed a number of runtime system patches,
added support for compiling to a <a href="LibrarySupport">C library</a>,
ported MLton to <a href="http://mingw.org">MinGW</a> and all <a href="http://packages.debian.org/search?keywords=mlton&searchon=names&suite=all&section=all">Debian</a> supported architectures with <a href="CrossCompiling">cross-compiling</a> support,
and maintains the <a href="http://packages.debian.org/search?keywords=mlton&searchon=names&suite=all&section=all">Debian</a> and <a href="http://mingw.org">MinGW</a> packages.
</p>
</li>
<li>
<p>
Luke Ziarek assisted in porting MLton to (PowerPC) Darwin.
</p>
</li>
</ul></div>
<div class="paragraph"><p>We have also benefited from other software development tools and
used code from other sources.</p></div>
<div class="ulist"><ul>
<li>
<p>
MLton was developed using
<a href="SMLNJ">Standard ML of New Jersey</a> and the
<a href="CompilationManager">Compilation Manager (CM)</a>
</p>
</li>
<li>
<p>
MLton’s lexer (<span class="monospaced">mlton/frontend/ml.lex</span>), parser
(<span class="monospaced">mlton/frontend/ml.grm</span>), and precedence-parser
(<span class="monospaced">mlton/elaborate/precedence-parse.fun</span>) are modified versions of
code from SML/NJ.
</p>
</li>
<li>
<p>
The MLton <a href="BasisLibrary">Basis Library</a> implementation of
conversions between binary and decimal representations of reals uses
David Gay’s <a href="http://www.netlib.org/fp/">gdtoa</a> library.
</p>
</li>
<li>
<p>
The MLton <a href="BasisLibrary">Basis Library</a> implementation uses
modified versions of portions of the the SML/NJ Basis Library
implementation modules <span class="monospaced">OS.IO</span>, <span class="monospaced">Posix.IO</span>, <span class="monospaced">Process</span>,
and <span class="monospaced">Unix</span>.
</p>
</li>
<li>
<p>
The MLton <a href="BasisLibrary">Basis Library</a> implementation uses
modified versions of portions of the <a href="MLKit">ML Kit</a> Version 4.1.4
Basis Library implementation modules <span class="monospaced">Path</span>, <span class="monospaced">Time</span>, and
<span class="monospaced">Date</span>.
</p>
</li>
<li>
<p>
Many of the benchmarks come from the SML/NJ benchmark suite.
</p>
</li>
<li>
<p>
Many of the regression tests come from the ML Kit Version 4.1.4
distribution, which borrowed them from the
<a href="http://www.dina.kvl.dk/%7Esestoft/mosml.html">Moscow ML</a> distribution.
</p>
</li>
<li>
<p>
MLton uses the <a href="http://www.gnu.org/software/gmp/gmp.html">GNU multiprecision library</a> for its implementation of <span class="monospaced">IntInf</span>.
</p>
</li>
<li>
<p>
MLton’s implementation of <a href="MLLex"> mllex</a>, <a href="MLYacc"> mlyacc</a>,
the <a href="CKitLibrary">ckit Library</a>,
the <a href="MLLPTLibrary">ML-LPT Library</a>,
the <a href="MLRISCLibrary">MLRISC Library</a>,
the <a href="SMLNJLibrary">SML/NJ Library</a>,
<a href="ConcurrentML">Concurrent ML</a>,
mlnlffigen and <a href="MLNLFFI">ML-NLFFI</a>
are modified versions of code from SML/NJ.
</p>
</li>
</ul></div>
</div>
</div>
</div>
<div id="footnotes"><hr></div>
<div id="footer">
<div id="footer-text">
</div>
<div id="footer-badges">
</div>
</div>
</body>
</html>
|
