From [email protected] Wed Jan  6 21:00:52 1993
Path: uunet!bounce-back
From: [email protected] (Greg Morrisett)
Newsgroups: news.announce.newgroups,news.groups,comp.lang.functional,comp.lang.misc,alt.lang.ml,comp.compilers
Subject: RFD: comp.lang.ml
Followup-To: news.groups
Date: 6 Jan 1993 19:34:06 -0500
Organization: School of Computer Science, Carnegie Mellon
Lines: 58
Sender: [email protected]
Approved: [email protected]
Message-ID: <[email protected]>
NNTP-Posting-Host: rodan.uu.net
Xref: uunet news.announce.newgroups:3081 news.groups:63948 comp.lang.functional:2489 comp.lang.misc:12707 alt.lang.ml:114 comp.compilers:4504

First Call, Request for Discussion: comp.lang.ml 

PROPOSAL:  This is a request for discussion on creation of an unmoderated 
newsgroup on the topic of the ML family of programming languages. The 
suggested name is comp.lang.ml.  

ML is a family of advanced programming languages with functional
control structures, strict semantics, a strict polymorphic type
system, and parametrized modules. It includes Standard ML, Lazy ML,
CAML, CAML Light, and various research languages. Implementations are
available on many platforms, including PCs, mainframes, most models of
workstation, multi-processors and supercomputers. ML has many
thousands of users, is taught at many universities (and is the first
programming language taught at some).

Topics for discussion would include (but are not limited to): 
 * general ML enquiries or discussion 
 * general interpretation of the definition of Standard ML 
 * applications and use of ML 
 * announcements of general interest (e.g. compiler releases)
 * discussion of semantics including sematics of extensions based on ML
 * discussion about library structure and content
 * tool development
 * comparison/contrast with other languages."

There is currently a group for ML in the alt hierarchy, alt.lang.ml.
This has the disadvantages of any alt group: narrow distribution
(especially outside the US, where much ML development goes on) and
fast expiration. Some discussion of ML has gone on in
comp.lang.functional and in comp.lang.misc. An ML-specific newsgroup
would concentrate these postings and provide a focus for people
seeking information about or discussion of the language.

There is also a moderated worldwide mailing list for Standard ML users
maintained at Carnegie Mellon University.  We believe there are now
several thousand readers of this list. Currently several messages pass
through the list each week. We do not propose the abandonment of the
list, but an unmoderated newsgroup would take most of the traffic from
the list, simplifying the moderation task, and would provide a new
forum for questions general to the family of ML languages (not just
Standard ML). Submissions to the mailing list will be forwarded to the
newsgroup. The mailing list moderator may also wish to periodically
select articles from the newsgroup to forward to the mailing list.

The mailing list has also provided us with a FAQ list, which can
readily be made into a weekly and monthly posting to the newsgroup.

Comments and suggestions regarding comp.lang.ml should be posted to
news.groups, or mailed to [email protected].  Please indicate in
any e-mail message if you'd like it forwarded into news.groups.

-Greg Morrisett 
 Carnegie Mellon University
-- 
-Greg Morrisett
 Moderator, SML-LIST
 Requests:    [email protected]
 Submissions: [email protected]

From [email protected] Tue Feb 23 23:39:23 1993
Path: uunet!bounce-back
From: [email protected] (Greg Morrisett)
Newsgroups: news.announce.newgroups,news.groups,comp.lang.functional,comp.lang.misc,comp.lang.scheme,alt.lang.ml
Subject: CFV: comp.lang.ml moderated
Followup-To: poster
Date: 23 Feb 1993 14:31:15 -0500
Organization: School of Computer Science, Carnegie Mellon
Lines: 169
Sender: [email protected]
Approved: [email protected]
Message-ID: <[email protected]>
NNTP-Posting-Host: rodan.uu.net
Xref: uunet news.announce.newgroups:3270 news.groups:67293 comp.lang.functional:2643 comp.lang.misc:12910 comp.lang.scheme:6307 alt.lang.ml:129

Following the required discussion period, in which consensus appears to
have been reached, this is the first call for votes for the creation of 
comp.lang.ml.  This note contains information about the proposed group 
and voting instructions.  Please read the entire post before responding.  In
particular, please read the "How to Vote" section before responding.

                            1st CALL FOR VOTES

Proposed Newsgroup:  comp.lang.ml
------------------
              Type:  Moderated
              ----
         Moderator:  Greg Morrisett, Carnegie Mellon, [email protected]
         ---------           (submission address to be announced.)
       Description:  Discussion about the family of ML languages including
       -----------     but not limited to Standard ML, CAML, Caml-light, and 
                       Lazy ML.

Charter:
-------
  Comp.lang.ml is a moderated newsgroup exclusively for discussion
  of ML.  ML is a family of advanced programming languages with [usually]
  functional control structures, strict semantics, a strict polymorphic type
  system, and parametrized modules.  It includes Standard ML, Lazy ML,
  CAML, CAML Light, and various research languages.  Implementations are
  available on many platforms, including PCs, mainframes, most models of
  workstation, multi-processors and supercomputers.  ML has many
  thousands of users, is taught at many universities (and is the first
  programming language taught at some).

  Topics for discussion would include (but are not limited to): 
   * general ML enquiries or discussion 
   * general interpretation of the definition of Standard ML 
   * applications and use of ML 
   * announcements of general interest (e.g. compiler releases)
   * discussion of semantics including sematics of extensions based on ML
   * discussion about library structure and content
   * tool development
   * comparison/contrast with other languages
   * implementation issues, techniques and algorithms including extensions
       based on ML

Moderation Guidelines:
----------------------
  The moderator will maintain and post weekly and monthly frequently 
  asked questions (FAQ) lists.  Moderation will be done according to
  the following guidelines:

    1. An article that has no relevance to ML will be rejected by the
       moderator.  However, the moderator will attempt to tell the
       poster a more appropriate place for the article.

    2. An article might be rejected if the poster asks a question that
       is answered by the FAQ lists.  However, the moderator will forward
       the relevant portion(s) of the FAQ answers to the poster.

    3. The moderator reserves the right to trim down quotations of
       previous articles and to reject articles consisting essentially
       of quotations.

    4. The moderator reserves the right to send a "poorly" written article
       back to the poster, requesting that it be re-written.  

    5. All other articles will be forwarded by the moderator.

    6. The moderator might add his/her own comments at the end of an
       article, such as [See the Commentary, pp.123-125] or
       [This question has been asked several times in the past, and
       never got an answer.]
       
Moderator Changes:
------------------
  Guidelines for the removal or change of a moderator are as follows:

    1. An RFD on the removal of the moderator must be posted to
       news.announce.newgroups, news.groups, and comp.lang.ml.
       with the follow-ups sent to news.groups.

    2. Should there be a consensus that a vote is appropriate, a
       CFV will be issued by a third party, to last not less than
       two weeks and not more than 30 days. This ballot will include
       the following options:

                    a. Should the moderator be removed? (Y/N)
                    b. The new moderator should be: (names)

    3. If more than 2/3 of the voters agree that the moderator should
       be removed, and there are no more than 100 no votes, then the
       top name in section b becomes the new moderator. Each ballot
       can contain a vote for one and only one new moderator.

Justification:
-------------
  There is currently a group for ML in the alt hierarchy, alt.lang.ml.
  This has the disadvantages of any alt group: narrow distribution
  (especially outside the US, where much ML development goes on) and
  fast expiration. Some discussion of ML has gone on in
  comp.lang.functional and in comp.lang.misc.  An ML-specific newsgroup
  would concentrate these postings and provide a focus for people
  seeking information about or discussion of the language.

  There is also a moderated worldwide mailing list for Standard ML users
  maintained at Carnegie Mellon University and a mailing list for CAML
  users maintained at INRIA.  There are now several thousand readers of 
  these lists. Currently several messages pass through these lists 
  each week.  We do not propose the abandoment of these lists, but a
  moderated newsgroup would take most of the traffic from each of these
  lists and would provide a new forum for questions general to the
  family of ML languages (not just SML or CAML).  

  People who cannot or do not want to read the newsgroup, can subscribe
  to the SML-LIST.  As maintainer of the list, I will cross-post messages 
  from the newsgroup to the mailing list and vice-versa.

  We have chosen "comp.lang.ml" as a name, patterned after other newsgroups
  that discuss programming languages, such as "comp.lang.scheme".  We have
  chosen the ".ml" suffix to remind people that the newsgroup is open
  to all dialects of ML.  While some readers might mistakenly assume
  ".ml" stands for "machine language" or "machine learning", the moderator
  will prevent irrelevant posts from reaching readers and the FAQ lists
  will clear up any confusion.

Voting Period:
-------------
  Votes will be taken from 08:00:00 EST, February 23, 1993
  until 23:59:59 EST, March 20, 1993.

How to Vote:
-----------
  To vote "Yes", send mail to "[email protected]".  

  To vote "No", send mail to "[email protected]".

  Votes sent to these addresses are differentiated by mailing address 
  _only_;  message contents and subject lines are ignored since the 
  votes are processed by an automated script.

  If your mailer cannot handle one of these addresses, send your
  vote to "[email protected]" making sure to clearly specify whether
  you vote for or against the proposed newsgroup.  Use the following
  format in your message body:

    "I vote [Yes/No] for comp.lang.ml."

  If your message is ambiguous, it will not be counted (though I will 
  attempt to return your message to you, asking for an unambiguous vote.)  

  Your vote will be acknowledged by email.

Reminder of Voting Rules:
-------------------------
  - One vote per person.  If you vote more than once, only the most
    recent vote will be counted.  

  - Votes must be mailed to one of the above addresses.  No proxy
    voting, forwarding, etc.  Posted votes (to any newsgroup or
    mailing list) will not be counted.
    
  - I will not be able to discuss the vote results until after the
    poll closes, so please do not ask how the vote is going.

  - Votes received outside of the voting period will be ignored.

Thanks and remember that your vote counts!
-- 
-Greg Morrisett
 Carnegie Mellon Univ.
 [email protected]


From [email protected] Mon Mar 29 20:40:22 1993
Path: uunet!bounce-back
From: [email protected] (Greg Morrisett)
Newsgroups: news.announce.newgroups,news.groups,comp.lang.functional,comp.lang.misc,comp.lang.scheme,alt.lang.ml
Subject: RESULT: comp.lang.ml passes 424:8
Followup-To: news.groups
Date: 26 Mar 1993 11:07:44 -0500
Organization: School of Computer Science, Carnegie Mellon
Lines: 478
Sender: [email protected]
Approved: [email protected]
Message-ID: <[email protected]>
NNTP-Posting-Host: rodan.uu.net
Xref: uunet news.announce.newgroups:3385 news.groups:68544 comp.lang.functional:2889 comp.lang.misc:13117 comp.lang.scheme:6595 alt.lang.ml:148

The voting period has ended for the proposed moderated newsgroup,
comp.lang.ml.  The vote tally was 424 yes votes to 8 no votes, which
is sufficient for newsgroup creation.  Details regarding the vote
appear below.

RESULTS:

  In order for a newsgroup to be created, at least 2/3 of the votes must 
  be YES, and there must be at least 100 more YES votes than NO votes.

  Total number of valid votes received: 432
  Number of valid YES votes received:	424
  Number of valid NO votes received:	  8
  YES-NO vote difference:		416    (> 100)
  YES vote percentage:			98.1%  (> 66.7%)

FOLLOWUP:

  The newsgroup will not be created immediately.  The Usenet group creation
  guidelines call for a 5-day waiting period after this post appears on
  news.announce.newgroups, to give the Net community a chance to correct
  any errors in the voter list or the voting procedure.  Please inform
  me ([email protected]) if there are any irregularities you see that
  I missed.

  If there are no serious objections which would invalidate the vote or
  the results, the group will be created.

    The submission address will be:	[email protected]
    The contact address will be:        [email protected]

  The group will follow the charter posted on the Call for Votes.  If
  you need a copy of the charter, write to me at the contact address
  above or to [email protected].

LIST OF VOTERS:

Email addresses of those who voted "No" for comp.lang.ml:
---------------------------------------------------------
[email protected] (Dave Carr)
[email protected] (John Duncan)
Lord Yak Da Hairy 
[email protected] (Richard H. Miller)
Roland Kaltefleiter 
[email protected] (Steve Rogers)
Stephen Lau 
[email protected] (Stephen C. Trier)

Email addresses of those who voted "Yes" for comp.lang.ml:
----------------------------------------------------------
A.M.Douglas 
[email protected]
Claus Assmann 
(Claude Diderich) 
Carl L. Gay 
Don Goodeve 
Eric A. Anderson 
James Power, Dublin City University <[email protected]>
John B. Plevyak 
John H. Reppy 
Juan C. Gonzalez Moreno 
Ralf Treinen 
Rett Bull, Pomona College 
Richard A. O'Keefe 
Richard T. Saunders 
Robin B. Gowin 
Russ, VMS Eng, dtn 824-3256, ms=EDO/13  26-Feb-1993 1123 
Stephen Adams 
T.Kurt Bond, MPL Corporation, 304/472-9520 
Victor S. Miller 
- * Grim Reaper * - 

Adam T. Dingle 
Adrian Howard 
Alan M Levi 
Alexander Horz 
[email protected]
Andrew Armstrong 
Andrew Gordon 
[email protected]
[email protected]
Andy Latto 
Anthony Shipman 
[email protected]
B.J.  03-Mar-1993 1609 
Basile STARYNKEVITCH 
Benoit Caillaud 
Bent Thomsen 
Bernard Berthomieu 
Brian Boutel 
Brian Howard 
Brian J Sheldon 
[email protected]
Chandra S Danam 
Charlie Krasic -- Buck 
[email protected]
Chetana Nagendra 
Chris M P Reade 
Christian Lengauer 
[email protected] (Christine Paulin)
Christoph Mussenbrock 
Christopher Owens 
Colin Macleod 
[email protected] (Damien Doligez)
Daniel Bourget 
[email protected]
Dave Aspinall 
Dave Berry 
Dave Mason 
David Barker-Plummer 
David Connelly 
David Neto 
David Reeve Sward 
[email protected]
[email protected]
Dinesh Katiyar 
Dipankar Gupta 
Dirk Zabel 
[email protected] (Dirk Dussart)
Drew Dean 
[email protected]
[email protected]
Ensop Cho 
Eric Madelaine 
Evelyn Arroyo 
[email protected]
Flemming Nielson 
Francis Dupont 
Francois Barthelemy 
Francois MASDUPUY 
Francois Rouaix 
Frank Pfenning 
Frank Wilde 
Fritz Knabe 
[email protected]
[email protected]
Gabriel Stolzenberg 
Gerard Huet 
[email protected]
Henrik Reif Andersen (EMP) 
Hermano Moura 
Hugh Glaser 
[email protected]
In-Myung Chung 
Jacob Gore 
James Cowie 
James Larus 
Jason L Tibbitts III 
Jason Trenouth 
Jim Sasaki 
Jon Thackray 
Jonas Wallgren 
Juergen Buntrock 
Juergen Christoffel 
Julian Seward (DRL PhD) 
Kai Keinanen 
Karst Koymans 
Kestutis Urbaitis 
Kevin Waugh 
[email protected]
Knut Omang 
Konrad Slind 
Konstantin Laufer 
La Monte H Yarroll 
Lab. - konto Nadg-11 
Lawrence C Paulson 
Lennart Augustsson 
Lone Leth Thomsen 
Ludwin Fuchs 
MIchael Caro 
Magnus Olsson 
Mahesh V Tripunitara 
Marc PANTEL 
Maria-Virginia Aponte 
Mark Humphreys 
Mark Priestley 
Mark Reinhold 
[email protected]
Markus Kiser 
[email protected] (Mats Svensson)
Matthew Arcus 
Matthew Fuchs 
Matti Jokinen 
Michael Benjamin 
Michael Jampel 
Michael Pope 
Michael Quinn 
[email protected] (Michel Mauny)
Mikael Pettersson 
Mike Coleman 
Mike Crawley 
Mike Elliott 
Mike Johnson 
Mirek Benes 
Mirko Dziadzka 
Monin Jean-Francois laa-slc-evp 
Mrinal Baruah 
NJOSEPHY%[email protected]
Naoki HAMADA 
[email protected]
Nick Haines 
Nick Levine 
Nick Thompson 
Nicol C So 
Nicole Rostaing 
Oliver Schoett 
[email protected] (Olof Johansson)
Peter Bailey 
Peter Baumann 
Peter Golubtsov 
Peter Sestoft 
Philip Santas 
Pierre Lescanne 
Pierre Weis 
Pieter Immelman 
Purandar Bhaduri - Grad student 
Rachel Harrison 
Rajini I Balay 
Ramon Brena 
Randall Holmes 
Randy Crawford 
Renaud Marlet 
Richard Boulton 
Richard Brooksby 
Robert John Duncan 
Robert Stabl 
[email protected]
Rodney Topor 
Roger Knott 
Sandy Nicholson 
Sanjiva Prasad 
Sara Kalvala 
Scott L. Burson 
Scott Schwartz 
[email protected]
Shigeru Watari 
Simon Nichols 
Simon Wallis 
[email protected] (Simon Pearce - Sun CSIR )
Stephan Albert Missura 
Stephane Dalmas 
Stephen Colwill 
Stephen Tweedie 
Stephen Weeks 
Sudin Bhat 
Taj Khattra 
[email protected]
Ted Lemon 
Therese Hardin 
Thomas Eberhardt 
Thomas Hallgren 
Thomas Johnsson 
Thomas Pressburger 
Thomas Wang 
[email protected]
Tom Gordon 
Tore Urnes 
[email protected]
Tsung-Min Kuo 
Urban Boquist 
Valerie Menissier-Morain 
Valery Trifonov 
Vance Morrison 
Vasco Vasconcelos 
Wags Man 
William Pippin 
Wolfgang Gehrke 
Xavier Leroy 
Y Cymro 
Young-il Choo 
Zheng Zhang 
Zheng Zhang 
Zhong Shao 
[email protected]
[email protected] (William E. Aitken)
[email protected]
[email protected]
[email protected]
[email protected] (Tony Jones)
[email protected] (Kulbir S. Arora)
[email protected] (Asgeir Eiriksson)
[email protected] (Bard Bloom)
[email protected]
[email protected] (Andrew Beers)
[email protected] (Jef Bell)
[email protected] (George Beshers)
[email protected] (Bharat Jayaraman)
[email protected] (Bhaskar DasGupta)
[email protected]
[email protected] (Brian Koehler)
[email protected]
[email protected] (Bryan O'Sullivan)
brian 
[email protected] (Olaf Burkart)
[email protected] (Jim Caldwell)
[email protected] (Peter Canning)
[email protected]
[email protected] (Pierre CASTERAN)
[email protected] (The Technicolour Throw-up)
[email protected] (Charles Lindsey)
[email protected] (Steven Shann($m))
[email protected]
[email protected] (Tyng-Ruey Chuang)
[email protected]
[email protected] (Cormac Flanagan)
[email protected]
[email protected]
[email protected] (Regis Cridlig)
[email protected] (Cristian Mata)
[email protected]
[email protected] (Brook Conner)
[email protected] (Dave MacQueen)
[email protected] (Dave Cooper)
[email protected] (Ralph M. Deal)
[email protected] (Dr. Richard Kieburtz)
[email protected]
[email protected] (Darrell Schiebel)
[email protected]
[email protected] (Dan Teodosiu)
[email protected]
[email protected] (Einar Wolfgang Karlsen)
[email protected] (L. Fallot)
[email protected] (Leo Fegaras)
foli%[email protected] (Flavio Moreira de Oliveira)
[email protected] (David Fox)
[email protected] (Fernando Pina Caball)
[email protected] (Francisco Valverde Albacete)
[email protected]
[email protected] (fai to leung)
[email protected] (Ganesh C. Gopalakrishnan)
[email protected]
[email protected]
[email protected] (Gerald Baumgartner)
[email protected]
[email protected] (Lal George)
[email protected] (Gregory G. Woodbury)
[email protected] (Gerhard Koschorreck)
[email protected] (Glenn S. Goldstein)
[email protected] (Benjamin Goldberg)
[email protected] (G.P. Procida)
[email protected]
[email protected] (Florent Guillaume)
[email protected]
[email protected] (Guhan Viswanathan)
[email protected] (Kelly Hall)
[email protected]
[email protected]	(Henry Cejtin)
[email protected]
[email protected]
[email protected] (Jim Bennett)
[email protected] (James Grandy)
[email protected] (Jeffrey David Cohen)
[email protected] (James da Silva)
[email protected] (Jeremy Fitzhardinge)
[email protected] (J. Eric Townsend)
[email protected] (John E. Howland)
[email protected] (Beeblebrox)
[email protected] (Johannes Waldmann)
[email protected] (Johannes 5 Joemann)
[email protected]
[email protected] (John Aldwinckle)
[email protected] (John Ophel)
[email protected]
[email protected] (Rainer Joswig)
[email protected] (John Glauert)
[email protected]
[email protected] (John O'Leary)
[email protected] (A.J. Kfoury)
[email protected]
[email protected]
[email protected]
[email protected] (Ksheerabdhi Krishna)
[email protected] (Lee Li-Jen Chen)
[email protected] (Gary Leavens)
[email protected]
[email protected] (Michel Lemaitre)
[email protected]
[email protected] (Bouchard Lorne-H)
[email protected] (Mark H. Linderman)
[email protected]
[email protected] (Lyman S. Taylor)
[email protected]
[email protected]
[email protected] (Bob Buckley)
[email protected] (Mark D. Aagaard)
[email protected] (Martin Erwig)
[email protected]
[email protected] (Mark Atwood)
[email protected] (Miriam Leeser)
[email protected]
[email protected]
[email protected] (Mark-Jason Dominus)
[email protected] (Michael Lewis)
[email protected] (Mike  Mc Gaughey)
[email protected] (Mike Moore)
[email protected] (Matt Morgan)
[email protected]
[email protected] (Manfred Paul)
[email protected] (Michael Sperber)
[email protected] (Mark Kennedy)
[email protected] (David Muir Sharnoff)
[email protected] (Sourav Mukherjee)
[email protected] (Nazareth Karjian)
[email protected] (Juergen Nickelsen)
[email protected]
[email protected] (Nikos P. Pitsianis)
[email protected] (Norman Ramsey)
[email protected]
[email protected] (Thorsten Ohl)
[email protected] (Atsushi Ohori)
[email protected] (Kurt Olender)
[email protected] (Bill Owens)
[email protected] (Patrick Logan)
[email protected]
[email protected]  (Na Choon Piaw)
[email protected]
[email protected] (Priyadarshan Kolte)
pop%[email protected]
[email protected] (Peter Su)
[email protected]
r_n_bosworth 
[email protected]
[email protected] (Rance Cleaveland)
[email protected] (Robert Cooper)
[email protected] (Roy Dyckhoff)
[email protected] (reffay)
[email protected]
[email protected] (Rene G. Rodriguez)
[email protected] (Renganathan Sundararajan)
[email protected] (Rene' LALEMENT)
[email protected]
[email protected] (Robert S. Thau)
[email protected] (Rich Thomson)
[email protected] (Sanjeev Y. Dharap)
[email protected] (Satish Thatte)
[email protected] (Soren Christensen)
[email protected]
[email protected] (Shail Aditya)
[email protected] (Ken Slonneger)
[email protected]
[email protected] (Michael Sperber)
[email protected]
[email protected] (Shriram Krishnamurthi)
[email protected]
[email protected] (Chris StJohn)
[email protected] (Scott Stoller)
[email protected] (Rob Strom)
[email protected]
[email protected]
[email protected] (Tatu M{nnist|)
[email protected] (Hendrik Tews)
[email protected] (Tom Fukushima)
[email protected] (Peter Thiemann)
[email protected] (Thomas Puls)
[email protected]
[email protected] (Thomas M. Breuel)
[email protected]
[email protected] (Tore Bratvold)
[email protected] (Chung-Shin Tsai)
[email protected] (Ted "Theodore" W. Leung)
[email protected] (Thomas Yan)
[email protected] (William Graham)
vandi%[email protected] (Vanderlei Moraes Rodrigues)
[email protected] (Mark van de Voort)
[email protected] (Tim Wahls)
[email protected] (David Wald)
[email protected] (Ralph W. Wallace)
[email protected] (Mitchell Wand)
[email protected] (Wayne Smith)
[email protected] (Bob Weems)
[email protected]
[email protected] (Ward K. Harold)
[email protected] (Glen Worstell)
[email protected] (Andrew Wright)
-- 
-Greg Morrisett
 Carnegie Mellon Univ.
 [email protected]