From: Gregory Morrisett <jgm@cs.cornell.edu>
To: caml-list@inria.fr
Subject: ML Workshop -- Call for Papers
Date: Tue, 05 May 1998 13:18:47 -0400 [thread overview]
Message-ID: <199805051718.NAA00021@taurus.cs.cornell.edu> (raw)
Dear Caml Friends,
Enclosed is a call-for-papers for the 1998 ML Workshop to be held
in conjunction with this year's ICFP. I hope you will participate
and pass this note on to other interested parties.
-Greg Morrisett
jgm@cs.cornell.edu
===========================================================================
Preliminary Call for Papers
The 1998 ACM SIGPLAN Workshop on ML
http://www.cs.cornell.edu/Info/People/jgm/ml98.html
To be held in conjunction with ICFP'98
September 26, 1998
Mt. Washington Conference Center
===========================================================================
The ML family of programming languages, whose dialects include Classic ML,
Standard ML, Caml, and Objective Caml, has inspired a tremendous amount
of language research, ranging from type inference to module systems to
operational semantics and implementation. In large part, ML typifies
"HOT" (Higher-Order, Typed) language design and implementation.
Previous ML Workshops have been held in Edinburgh, Pittsburgh,
San Francisco, and Orlando and have covered topics ranging from
applications written in ML, to ML implementation techniques, to
language extensions. The 1998 Workshop will be held in conjunction
with the ACM SIGPLAN International Conference on Functional Programming
in Baltimore, Maryland. The goal of the Workshop is for researchers,
developers, and users to hear about and discuss the latest work on the
use, design, and implementation of ML-like languages.
We seek papers relevant to all ML-related topics including (but not
limited to):
* applications
* extensions: objects, classes, concurrency, etc.
* type systems: inference, modules, specification,
error reporting, etc.
* implementation: compilers, interpreters, partial
evaluators, garbage collectors, etc.
* environments: libraries, tools, editors, debuggers, etc.
* semantics
Submitted papers should describe new ideas, experimental results, or
informed positions regarding proposals for next-generation ML languages.
In order to encourage lively discussion, submitted papers may describe
work in progress.
An informal proceedings will be published as a Cornell Technical
Report (to be distributed to Workshop participants) and electronically.
===========================================================================
Organizers:
* Xavier Leroy, Inria Rocquencourt
* David MacQueen, Bell Labs, Lucent Technologies
Program Chair:
Greg Morrisett
Department of Computer Science
Cornell University
Ithaca, NY 14853
Email: jgm@cs.cornell.edu
Program Committee:
* Dave Berry, Harlequin Ltd.
* Mark Lillibridge, Digital Systems Research Center
* Greg Morrisett, Cornell University
* John Reppy, Bell Labs, Lucent Technologies
* Francois Rouaix, Inria Rocquencourt
* Peter Sestoft, Royal Veterinary and Agricultural University, Denmark
* Mads Tofte, DIKU
===========================================================================
Important Dates:
* Submission Deadline: July 10, 1998
* Notification of acceptance: July 31, 1998
* Final paper due: August 28, 1998
* Workshop: September 26, 1998
===========================================================================
Submission Procedure:
Technical summaries, in English and not to exceed 5000 words
(approximately 10 pages), should be submitted to the program
chair by Friday, July 10, 1998. To submit, authors should
complete the following two steps by the submission deadline:
1. Send an email message to ml98@cs.cornell.edu containing the title,
authors' contact information, and an abstract (not to exceed 200
words) in ASCII.
2. Send the technical summary itself. The summary may be sent either
electronically to ml98@cs.cornell.edu or via post. In the latter
case, please send eight (8) hard copies of the paper to the program
chair (address above).
Authors are strongly encouraged to submit their summaries via email.
Email submissions must be in Postscript form. The Postscript should be
interpretable by Ghostscript, use standard fonts (or include the
necessary fonts), and print correctly on US letter paper (8.5x11 inches).
All submissions must include a return postal address and an electronic
mail address. Receipt of the submissions will be acknowledged within
2 days.
Notification of the acceptance or rejection of papers will be given by
Friday, July 31, 1998. Copies of the papers will be distributed at the
workshop as a Cornell Technical Report.
===========================================================================
An up-to-date HTML version of this document will be available at
http://www.cs.cornell.edu/Info/People/jgm/ml98.html. For further
information, contact jgm@cs.cornell.edu.
reply other threads:[~1998-05-05 20:22 UTC|newest]
Thread overview: [no followups] expand[flat|nested] mbox.gz Atom feed
Reply instructions:
You may reply publicly to this message via plain-text email
using any one of the following methods:
* Save the following mbox file, import it into your mail client,
and reply-to-all from there: mbox
Avoid top-posting and favor interleaved quoting:
https://en.wikipedia.org/wiki/Posting_style#Interleaved_style
* Reply using the --to, --cc, and --in-reply-to
switches of git-send-email(1):
git send-email \
--in-reply-to=199805051718.NAA00021@taurus.cs.cornell.edu \
--to=jgm@cs.cornell.edu \
--cc=caml-list@inria.fr \
/path/to/YOUR_REPLY
https://kernel.org/pub/software/scm/git/docs/git-send-email.html
* If your mail client supports setting the In-Reply-To header
via mailto: links, try the mailto: link
Be sure your reply has a Subject: header at the top and a blank line
before the message body.
This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox;
as well as URLs for NNTP newsgroup(s).