From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: weis Received: (from weis@localhost) by pauillac.inria.fr (8.7.6/8.7.3) id WAA27816 for caml-redistribution; Tue, 5 May 1998 22:22:33 +0200 (MET DST) Received: from nez-perce.inria.fr (nez-perce.inria.fr [192.93.2.78]) by pauillac.inria.fr (8.7.6/8.7.3) with ESMTP id TAA07029 for ; Tue, 5 May 1998 19:18:53 +0200 (MET DST) Received: from simon.cs.cornell.edu (SIMON.CS.CORNELL.EDU [128.84.154.10]) by nez-perce.inria.fr (8.8.7/8.8.5) with ESMTP id TAA10884 for ; Tue, 5 May 1998 19:18:51 +0200 (MET DST) Received: from cloyd.cs.cornell.edu (CLOYD.CS.CORNELL.EDU [128.84.227.15]) by simon.cs.cornell.edu (8.8.8/8.8.8/R-1.8) with ESMTP id NAA10656 for ; Tue, 5 May 1998 13:18:50 -0400 (EDT) Received: from taurus.cs.cornell.edu (TAURUS.CS.CORNELL.EDU [128.84.227.6]) by cloyd.cs.cornell.edu (8.8.8/8.8.8/M-1.9) with ESMTP id NAA07806 for ; Tue, 5 May 1998 13:18:49 -0400 (EDT) Received: (from jgm@localhost) by taurus.cs.cornell.edu (8.8.8/8.8.5/C-1.2) id NAA00021; Tue, 5 May 1998 13:18:47 -0400 (EDT) Message-Id: <199805051718.NAA00021@taurus.cs.cornell.edu> To: caml-list@inria.fr Subject: ML Workshop -- Call for Papers Date: Tue, 05 May 1998 13:18:47 -0400 From: Gregory Morrisett Sender: weis 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.