ML (long)

>Is there a publically-available implementation of ML?


For details of the New Jersey ML compiler, you should contact Dave
MacQueen at AT&T (macqueen@com.att.research) - that system will,
barring legal setbacks, be going into the public domain quite soon.
Alternatively, there's the Poly/ML compiler available in the UK,
although that costs real money, though possibly not to academic
sites. We have a small interpreted system for the Core ML language,
as well as a (slightly obselete) port to the Macintosh.


>Also, can anyone send me a more-or-less complete ML bibliography?


Here's some of the more mainstream stuff.


@TechReport(SemanticsV3,
Key="Harper et.\ al.",
Title="The Definition of {Standard} {ML}, Version 3",
Author="Bob Harper and Robin Milner and Mads Tofte",
Institution=LFCS,
Number="{ECS--LFCS--89--81}",
Year=1989)


@Book(MLBook,
            Key={Wikstr\"{o}m},
            Author={\AA{}ke Wikstr\"{o}m},
            Title="Functional Programming using {Standard} {ML}",
            Publisher="Prentice-Hall International",
            Year=1987)


@Book(MLModules,
            Key="Harper et.\ al.",
            Title="A Type Discipline for Program Modules",
            Author="R. Harper and R. Milner and M. Tofte",
            Publisher="Springer-Verlag",
            Series="Proc. {TAPSOFT}~'87",
            Volume=250,
            Year=1987)


@InCollection(NewJerseyML,
Key="Appel et al.",
Title="A {Standard} {ML} Compiler",
Author="Andrew W. Appel and David B. MacQueen",
BookTitle=
"Functional Programming Languages and Computer Architecture",
Publisher="Springer-Verlag",
Pages="301--324",
Year="1987")


@InProceedings(MacQueenModules2,
Key="MacQueen",
Title="Modules for {Standard} {ML}",
Author="David MacQueen",
BookTitle="Proc. 1984 {ACM} Conf. on {LISP} and
Functional Programming",
Pages="198--207",
Year=1984
)


@TechReport(StandardML,
Key="Harper et.\ al.",
Title="{Standard} {ML}",
Author="Bob Harper and David MacQueen and Robin Milner",
Institution=LFCS,
Number="{ECS--LFCS--86--2}",
Year=1986)


@TechReport(4Lectures,
Key="Tofte",
Title="Four Lectures on {ML}",
Author="Mads Tofte",
Institution=LFCS,
Number="{LFCS--89--73}",
Year=1989)


@TechReport(MLTutorial,
                        Key="Harper",
                        Title="Introduction to {Standard} {ML}",
                        Author="Robert W. Harper",
                        Institution=EUCSD,
                        Month=Oct,
                        Year=1985)


@TechReport(PolyMLPapers,
Key="PolyML",
Title="Papers on {Poly/ML}",
Author="D.C.J. Matthews",
Institution="Computing Laboratory, University of Cambridge",
Month=Feb,
Year=1989)
[From Nick Rothwell <nick@lfcs.edinburgh.ac.uk>]

Return to the comp.compilers page.
Search the comp.compilers archives again.