Write a Blog >>
ICFP 2016
Sun 18 - Sat 24 September 2016 Nara, Japan
Thu 22 Sep 2016 11:45 - 12:10 at Conference Room 1 - Implementation Chair(s): Didier Rémy

This paper describes a new LLVM-based backend for the Parallel ML compiler (part of the Manticore system). This backend is novel in that it supports heap-allocated first-class continuations (a first for LLVM), which, in turn enables language features, such as callcc, lightweight concurrency mechanisms, and PML’s parallelism features.

Thu 22 Sep

Displayed time zone: Osaka, Sapporo, Tokyo change

11:45 - 12:25
ImplementationML at Conference Room 1
Chair(s): Didier Rémy INRIA
11:45
25m
Talk
Compiling with Continuations and LLVM
ML
Kavon Farvardin University of Chicago, John Reppy University of Chicago
Pre-print
12:10
15m
Talk
SML# with Natural Join
ML
Tomohiro Sasaki Tohoku University, Katsuhiro Ueno Tohoku University, Japan, Atsushi Ohori Tohoku University, Japan
Pre-print