PLNews: Programming Language News

Poly/ML 5.3 Release Candidate 2 has been released. Poly/ML is an open source Standard ML implementation.

This release candidate includes fixes.

The 2009 ACM SIGPLAN Workshop on ML has put out a call for participation. ML 2009 "aims to provide a forum to encourage discussion and research on ML and related technology (higher-order, typed, or strict languages)."

It will be held in conjunction with ICFP 2009 on August 30, 2009, in Edinburgh, UK.

The 2009 ACM SIGPLAN Workshop on ML has put out a call for papers. It aims to "provide a forum to encourage discussion and research on ML and related technology (higher-order, typed, or strict languages)."

The submission deadline is May 11, 2009. The workshop will be held on August 30, 2009, in Edinburgh, Scotland, UK.

The 2008 ACM SIGPLAN Workshop on ML has put out a call for papers. This workshop aims to provide "a forum to encourage discussion and research on ML and related technology."

Submissions are due by June 23, 2008. The workshop will be held on September 21, 2008, in Victoria, British Columbia, Canada.

MLton 20070826 has been released. "MLton is an open-source, whole-program, optimizing Standard ML compiler.

This release includes: support for 64-bit platforms, AMD64 native code generation, library improvements, bug fixes, and other changes.

SML# 0.30 has been released. It is an extension to Standard ML, adding support for improved interoperability with C, record polymorphism, and rank-1 polymorphism.

This release includes the implementation of several compiler optimization phases, plus other changes.

Standard ML of New Jersey 110.65 has been released. SML/NJ is a portable, open-source Standard ML '97 implementation.

This release includes bug fixes.

Standard ML of New Jersey 110.64 has been released. SML/NJ is a portable, open-source Standard ML '97 implementation.

This release includes: improved signature printing, initial work on the streamlining of the type system of the plambda and flint intermediate languages, support for integer and word division operations with an explicit test for zero division, improvements to the SML Basis library, the addition of the next function to the Fifo and Queue modules, AMD64 support, improved regression testing, plus other changes and bug fixes.

Alice ML 1.4 has been released. Alice is a functional language based on Standard ML, adding support for concurrent, distributed and constraint programming.

This release includes: support for first-class components, an experimental sandboxing infrastructure, improved SML conformance, the integration of additional proposals for Successor ML, toplevel improvements, and other changes.

PML has been announced. It is "an ML like programming language, which will be extended with a prover soon.

SML# 0.20 has been released. It is an extension to Standard ML, adding support for improved interoperability with C, record polymorphism, and rank-1 polymorphism.

HaMLet 1.3 and HaMLet-S 1.3/S4 have been released. HaMLet is a Standard ML '97 implementation. HaMLet-S includes proposals for Successor ML.

HaMLet 1.3 includes: improved support for building with most major SML systems, support for outputting the parse tree in S-expression form, and other changes.

HaMLet-S 1.3/S4 includes: support for views, support for higher-order and first-class modules, a complete formal specification of all extensions, extensible records, more expressive pattern matching, plus other changes and bug fixes.

The 2007 ACM SIGPLAN Workshop on ML has put out a call for papers. The workshop "aims to bring together researchers, developers and users of ML to hear about and discuss the latest work on the design, semantics, implementation and application of ML and ML-like languages.

The submission deadline is June 15, 2007. The workshop will be held on October 5, 2007, in Freiburg, Germany.

SML/NJ 110.62 has been released. SML/NJ is a portable, open-source Standard ML '97 implementation.

This release includes: installation process improvements, the addition of a UTF8 structure and signature to the library, improvements to the language processing tools, plus other changes and fixes.

Poly/ML Version 5 has been released. Poly/ML is an open source Standard ML implementation.

This release includes: support for producing stand-alone binaries, AMD64 support, support for Intel Mac OS X and Cygwin, the use of the GNU tools for building, plus other changes and fixes.

SML/NJ 110.60 has been released. SML/NJ is a portable, open-source Standard ML '97 implementation.

This release includes: preliminary AMD64 support, new ml-ulex and ml-antlr tools, a fix for a signal delivery problem on Intel-based Macs, plus other changes.

Alice 1.3 has been released. Alice is a functional language based on Standard ML, adding support for concurrent, distributed and constraint programming.

This release includes: a tutorial on constraint programming using the binding to the Gecode library, bytecode JIT compilation by default, support for some of the extensions proposed for Successor ML, plus other changes and bugfixes.

The 2006 ACM SIGPLAN Workshop on ML has put out a call for participation. It "aims to provide a forum for discussion and research on existing and future ML and ML-like languages.

It will be held on September 16, 2006, in Portland, Oregon.

SML/NJ 110.59 has been released. SML/NJ is a portable, open-source Standard ML '97 implementation.

This release includes: a fix for a linking problem on NetBSD 3.x, eXene fixes, MLRISC improvements, plus other changes and bugfixes.

The 2006 ACM SIGPLAN Workshop on ML has put out a call for papers.

The submission deadline is June 3, 2006, with the workshop being held in Portland, Oregon, on September 16, 2006.

SML# has been announced. It is an extension to Standard ML, adding support for improved interoperability with C, record polymorphism, and rank-1 polymorphism.

An alpha release of the SML# compiler is currently available.

SML/NJ 110.58 has been released. SML/NJ is a portable, open-source Standard ML '97 implementation.

This release includes: a new lexer generator tool; support for Mac OS X on Intel-based Macs, 32-bit mode on x86-64 systems, and untested support for NetBSD 3.x; cleaned up signal handling on x86/Linux; plus other changes.

MLKit 4.3.0 has been released. It is an open-source Standard ML implementation, including support for generating native code on x86 Linux.

This release includes: updates to the Basis Library, garbage collection of regions by default, documentation improvements, support for separate compilation with MLB-files, plus other changes and various bugfixes.

Stephen Weeks has announced that updated performance benchmark results are available for the MLton 20051202 release. The runtime ratio, code size, and compile time of MLton for a number of different programs is compared to those of other Standard ML implementations, including ML Kit, Moscow ML, Poly/ML, and SML/NJ.

MLton 20051202 has been released. It is a portable, optimizing Standard ML compiler.

With this release, MLton is released under a BSD-style license. This release also includes: support for the x86/MinGW and HPPA/Linux platforms, documentation improvements, foreign function interface improvements, new ML Basis annotations, and the ckit and SML/NJ libraries.