NIC -
[Search
| FAQ
| Format
| Help
| Feedback
| NIC Info
| Home]
ML languages including Standard ML, CAML, Lazy ML, etc. (Moderated)
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 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 ext. 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
Moderated by: Greg Morrisett
Submissions to: comp-lang-ml@cs.cmu.edu
Requests to: comp-lang-ml-request@cs.cmu.edu
Comp.Lang.ML FAQ [Monthly Posting]
This posting contains a list of Frequently asked questions (and
their answers) about the family of ML programming languages,
including Standard ML, CAML, Lazy-ML, and CAML-Light. This post
should be read before asking a question on the comp.lang.ml
newsgroup.
<meta-lang-faq>
From: jgmorris@cs.cmu.edu (Greg Morrisett)
Posted: monthly (10 Jan 1996 22:24:18 GMT)
Readers: 14000 (0.2%) {58%} Mesgs per month/day: 60/2 {14%}
Crossposting: 4% {21%} Megs per month/day: 0.3/0.010 {32%}
Sites reciving this Group: 66% Cost ratio ($US/month/rdr): 0.01
[Goto Group]
[Copyright Notice
| Credits]