ML and Beyond

Robert Harper, John C. Mitchell

Abstract: ML is a successful programming language that reconciles theoretical principles with pragmatic requirements. However, there are many shortcomings of the current language and implementations. This short note outlines some promising directions for future work.