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 SepDisplayed time zone: Osaka, Sapporo, Tokyo change
11:45 - 12:25
|Compiling with Continuations and LLVM|
|SML# with Natural Join|
Tomohiro Sasaki Tohoku University, Katsuhiro Ueno Tohoku University, Japan, Atsushi Ohori Tohoku University, JapanPre-print