The 1998 ACM SIGPLAN Workshop on ML

Mt. Washington Conference Center
08:00-18:00 September 26, 1998 - Baltimore, Maryland

To be held in conjunction with ICFP'98

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 to 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.

An informal proceedings will be published as a Technical Report (to be distributed to Workshop participants) and electronically.

Technical Program

• Session 1: 08:30-10:30

  • ML and the Address Operator. M. Sperber and P. Thiemann

  • Views for Standard ML. C. Okasaki.

  • How to Add Laziness to a Strict Language without Even Being Odd. P. Wadler, W. Taha, and D. MacQueen.

• Session 2: 10:30-12:00

  • Parallel Functional Programming with Skeletons: The OCAMLP3L Experiment. M. Danelutto, R. Di Cosmo, X. Leroy, and S. Pelagatti.

  • Programming with Polymorphic Variants. J. Garrigue.

  • Correct Type Explanation. D. Duggan.

• Session 3: 14:00-15:30

  • OCamlDOOM: ML for 3D Action Games. F. Pessaux.

  • The SwitchWare Active Network Implementation. D.S. Alexander, M. W. Hicks, P. Kakkar, A. D. Keromytis, M. Shaw, J. T. Moore, C. A. Gunter, T. Jim, S. M. Nettles, J. Smith.

  • Fast Mergeable Integer Maps. C. Okasaki and A. Gill.

• Session 4: 16:00-17:30

  • Parameterized Modules, Recursive Modules and Mixin Modules. D. Duggan and C. Sourelis.

  • An Application Using Higher-Order Polymorphic Functors. F. Barthelemy.

  • Assessing the Overhead of ML Exceptions by Selective CPS Transformation J. Kim, K. Yi, and O. Danvy.

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
• Mark Lillibridge, Digital Systems Research Center
• Greg Morrisett, Cornell University (chair)
• John Reppy, Bell Labs, Lucent Technologies
• Francois Rouaix, Inria Rocquencourt
• Peter Sestoft, Royal Veterinary and Agricultural University, Denmark
• Mads Tofte, DIKU

Questions and comments should be sent to jgm@cs.cornell.edu.