Write a Blog >>
ICFP 2019
Sun 18 - Fri 23 August 2019 Berlin, Germany
Thu 22 Aug 2019 16:50 - 17:15 at Pine - Session 5 Chair(s): Edwin Brady

Successor ML is a collection of proposed language extensions to Standard ML. A number of these extensions address pattern matching; including adding richer record patterns, or-patterns, and pattern guards. Pattern guards in Successor ML are more general than those found in other languages, which raises some interesting implementation issues.

This paper describes the approach to pattern guards that we are developing as part of an effort to add Successor ML features to the Standard ML of New Jersey system. We describe how our approach can be used in either back-tracking or decision-tree implementations of pattern matching.

Thu 22 Aug

16:50 - 18:15: ML 2019 - Session 5 at Pine
Chair(s): Edwin BradyUniversity of St. Andrews, UK
mlfamilyworkshop-2019-papers16:50 - 17:15
John ReppyUniversity of Chicago, Mona ZahirUniversity of Chicago
mlfamilyworkshop-2019-papers17:15 - 17:40
Tom RidgeUniversity of Leicester, UK
File Attached
mlfamilyworkshop-2019-papers17:40 - 18:05
Yutaka NagashimaData61, Australia
File Attached